(** * Unicode notations for categories *)
Local Set Warnings Append "-notation-overridden".
Require Export HoTT.Categories.Notations.
[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done]
Require Export Category.Utf8 Functor.Utf8 NaturalTransformation.Utf8.
Require Export Comma.Utf8.
Require Export Adjoint.Utf8.
Require Export FunctorCategory.Utf8.
Require Export Profunctor.Utf8.
Require Export Structure.Utf8.

Require ChainCategory.
Export ChainCategory.Utf8.
Require SimplicialSets.
Export SimplicialSets.Utf8.