Category

Category#

class discopy.markov.Category(ob=None, ar=None)[source]#

Bases: discopy.symmetric.Category

A Markov category is a symmetric category with a method copy.

Parameters:
  • ob (type) – The type of objects.

  • ar (type) – The type of arrows.

ob#

alias of Ty

ar#

alias of Diagram