Category

class discopy.cat.Category(ob=None, ar=None)

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