(** * Functoriality of the construction of adjunctions *) (** ** Computational components *) Require Adjoint.Functorial.Parts. (** ** Functor laws *) Require Adjoint.Functorial.Laws. (** ** Adjunction functor *) Require Adjoint.Functorial.Core.
(** * Functoriality of the construction of adjunctions *) (** ** Computational components *) Require Adjoint.Functorial.Parts. (** ** Functor laws *) Require Adjoint.Functorial.Laws. (** ** Adjunction functor *) Require Adjoint.Functorial.Core.