Functor

class discopy.compact.Functor(ob=None, ar=None, dom=None, cod=None)

Bases: discopy.symmetric.Functor, discopy.ribbon.Functor

A compact functor is both a symmetric functor and a ribbon functor.

Parameters:

• ob (Mapping[pivotal.Ty, pivotal.Ty]) – Map from atomic pivotal.Ty to cod.ob.

• ar (Mapping[Box, Diagram]) – Map from Box to cod.ar.

• cod (Category) – The codomain of the functor.

• dom (T) –