Category# class discopy.cat.Category(ob=None, ar=None)[source]# Bases: object A category is just a pair of Python types ob and ar with appropriate methods dom, cod, id and then. Parameters: ob (type) – The objects of the category, default is Ob. ar (type) – The arrows of the category, default is Arrow. Example >>> Category() Category(cat.Ob, cat.Arrow) >>> CAT Category(cat.Category, cat.Functor) ob# alias of Ob ar# alias of Arrow