module Chapter10.Container.Morphism.Cartesian.Main where open import Chapter10.Container.Morphism.Cartesian open import Chapter10.Container.Morphism.Cartesian.Identity open import Chapter10.Container.Morphism.Cartesian.Composition.Vertical