Control.Category.Cartesian
Pre-(Co)Cartesian categories
class
PreCartesian
k p
bimapPreCartesian
braidPreCartesian
associatePreCartesian
coassociatePreCartesian
class
PreCoCartesian
k s
bimapPreCoCartesian
braidPreCoCartesian
associatePreCoCartesian
coassociatePreCoCartesian
(Co)Cartesian categories
class
Cartesian
k p i
class
CoCartesian
k s i