Top Qs
Timeline
Chat
Perspective

Traced monoidal category

From Wikipedia, the free encyclopedia

Traced monoidal category
Remove ads

In category theory, a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback.

A traced symmetric monoidal category is a symmetric monoidal category C together with a family of functions

called a trace, satisfying the following conditions:

  • naturality in : for every and ,
Thumb
Naturality in X
  • naturality in : for every and ,
Thumb
Naturality in Y
  • dinaturality in : for every and
Thumb
Dinaturality in U
  • vanishing I: for every , (with being the right unitor),
Thumb
Vanishing I
  • vanishing II: for every
Thumb
Vanishing II
  • superposing: for every and ,
Thumb
Superposing
  • yanking:

(where is the symmetry of the monoidal category).

Thumb
Yanking
Remove ads

Properties

  • Every compact closed category admits a trace.
  • Given a traced monoidal category C, the Int construction generates the free (in some bicategorical sense) compact closure Int(C) of C.

References

  • Joyal, André; Street, Ross; Verity, Dominic (1996). "Traced monoidal categories". Mathematical Proceedings of the Cambridge Philosophical Society. 119 (3): 447–468. Bibcode:1996MPCPS.119..447J. doi:10.1017/S0305004100074338. S2CID 50511333.
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads