论文信息 - Traced monoidal categories - 字舞流文

Traced monoidal categories

Traced monoidal categories are introduced, a structure theorem is proved for them, and an example is provided where the structure theorem has application.

Ross Street | André Joyal | Dominic R. Verity | Dominic Verity | A. Joyal | R. Street

[1] David N. Yetter,et al. Braided Compact Closed Categories with Applications to Low Dimensional Topology , 1989 .

[2] Mei Chee Shum. Tortile tensor categories , 1994 .

[3] G. M. Kelly,et al. Coherence for compact closed categories , 1980 .

[4] S. Maclane,et al. Categories for the Working Mathematician , 1971 .

[5] V. Turaev,et al. Ribbon graphs and their invaraints derived from quantum groups , 1990 .

[6] Jean-Yves Girard,et al. Geometry of Interaction 1: Interpretation of System F , 1989 .

[7] Ross Street,et al. Braided Tensor Categories , 1993 .

[8] David N. Yetter,et al. Coherence theorems via knot theory , 1992 .

[9] A. Joyal,et al. The geometry of tensor calculus, I , 1991 .

[10] A. Joyal,et al. Tortile Yang-Baxter operators in tensor categories , 1991 .

[11] Zoltán Ésik,et al. Some varieties of iteration theories , 1984, Bull. EATCS.