Functor

Contents

Functor#

class discopy.closed.Functor(ob=None, ar=None, dom=None, cod=None)[source]#

Bases: discopy.monoidal.Functor

A closed functor is a monoidal 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.ar.

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

  • dom (T) –

Contents