Functor

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

Bases: discopy.monoidal.Functor

A braided functor is a monoidal functor that preserves braids.

Parameters:

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

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

• cod (Category) – The codomain, Category(Ty, Diagram) by default.

• dom (T) –