Control.Category.Cartesian

Pre-(Co)Cartesian categories

class PreCartesian k p
class PreCoCartesian k s

(Co)Cartesian categories

class Cartesian k p i
class CoCartesian k s i