共 50 条
- [3] A PRACTICAL TYPE THEORY FOR SYMMETRIC MONOIDAL CATEGORIES THEORY AND APPLICATIONS OF CATEGORIES, 2021, 37 : 863 - 907
- [4] Presentably symmetric monoidal ∞-categories are represented by symmetric monoidal model categories ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2017, 17 (05): : 3189 - 3212
- [6] A HOMOTOPY THEORY OF COHERENTLY COMMUTATIVE MONOIDAL QUASI-CATEGORIES THEORY AND APPLICATIONS OF CATEGORIES, 2021, 37 : 418 - 481
- [9] Symmetric Monoidal Categories with Attributes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 33 - 48
- [10] OPERADS FOR SYMMETRIC MONOIDAL CATEGORIES THEORY AND APPLICATIONS OF CATEGORIES, 2023, 39 : 535 - 544