category_theory.adjunction.left_adjoint_preserves_colimits

A left adjoint preserves colimits.

category_theory.adjunction.right_adjoint_preserves_limits

A right adjoint preserves limits.

category_theory.adjunction.cocones_iso_component_hom

auxilliary construction for cocones_iso

category_theory.adjunction.cocones_iso_component_inv

auxilliary construction for cocones_iso

category_theory.adjunction.cones_iso_component_hom

auxilliary construction for cones_iso

category_theory.adjunction.cones_iso_component_inv

auxilliary construction for cones_iso