(** * Unicode notations for functor categories *)
Require Export Category.Utf8 Functor.Utf8 NaturalTransformation.Utf8.
[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done]
Require Import FunctorCategory.Core FunctorCategory.Morphisms.
Require Import Basics.Utf8.

Notation "C → D" := (functor_category C D) : category_scope.
Infix "≅" := NaturalIsomorphism : natural_transformation_scope.