Library HoTT.Categories.Comma
Require Comma.ProjectionFunctors.
Require Comma.Functorial.
Include Comma.Core.
Include Comma.Dual.
Include Comma.Projection.
Include Comma.InducedFunctors.
Include Comma.ProjectionFunctors.
Include Comma.Functorial.
Require Comma.Functorial.
Include Comma.Core.
Include Comma.Dual.
Include Comma.Projection.
Include Comma.InducedFunctors.
Include Comma.ProjectionFunctors.
Include Comma.Functorial.
We don't want to make utf-8 notations the default, so we don't export them.