Reference API
Notebooks
Extra
Bases: object
object
A category is just a pair of Python types ob and ar with appropriate methods dom, cod, id and then.
ob
ar
dom
cod
id
then
ob (type) – The objects of the category, default is Ob.
Ob
ar (type) – The arrows of the category, default is Arrow.
Arrow
Example
>>> Category() Category(cat.Ob, cat.Arrow) >>> CAT Category(cat.Category, cat.Functor)
alias of Ob
alias of Arrow