(** * Kan Extensions *) (** ** Definitions *) Require KanExtensions.Core. (** ** Kan Extensions assemble into functors *) Require KanExtensions.Functors. Include KanExtensions.Core. Include KanExtensions.Functors.
(** * Kan Extensions *) (** ** Definitions *) Require KanExtensions.Core. (** ** Kan Extensions assemble into functors *) Require KanExtensions.Functors. Include KanExtensions.Core. Include KanExtensions.Functors.