(** * Unicode notations for functor categories *)Require Import FunctorCategory.Core FunctorCategory.Morphisms. Require Import Basics.Utf8. Notation "C → D" := (functor_category C D) : category_scope. Infix "≅" := NaturalIsomorphism : natural_transformation_scope.