Functor

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

Bases: discopy.biclosed.Functor, discopy.markov.Functor

A closed functor is a markov functor that preserves evaluation and currying.

Parameters:

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

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

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

• dom (type) –

dom

alias of Diagram

cod

alias of Diagram