Functor

class discopy.ribbon.Functor(ob_map=None, ar_map=None, dom=None, cod=None, colour_map=None)

Bases: discopy.pivotal.Functor, discopy.balanced.Functor

A ribbon functor is both a pivotal functor and a balanced functor.

Parameters:

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

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

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

dom

alias of Diagram

cod

alias of Diagram