Functor#
- class discopy.braided.Functor(ob=None, ar=None, dom=None, cod=None)[source]#
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
tocod.ob
.cod (Category) – The codomain,
Category(Ty, Diagram)
by default.dom (T) –