TermBase

Contents

TermBase#

class discopy.closed.TermBase(name, dom, cod, **params)[source]#

Bases: Box, discopy.biclosed.TermBase

A term in the internal language of a closed category.

Parameters:
  • name (str) –

  • dom (Ty) –

  • cod (Ty) –