We gratefully acknowledge support from
the Simons Foundation and member institutions.

Category Theory

Authors and titles for math.CT in May 2022, skipping first 70

[ total of 76 entries: 1-10 | ... | 41-50 | 51-60 | 61-70 | 71-76 ]
[ showing 10 entries per page: fewer | more | all ]
[71]  arXiv:2205.08952 (cross-list from cs.LO) [pdf, ps, other]
Title: Zigzag normalisation for associative $n$-categories
Journal-ref: Proceedings of the Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[72]  arXiv:2205.09027 (cross-list from quant-ph) [pdf, other]
Title: Coend Optics for Quantum Combs
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[73]  arXiv:2205.09656 (cross-list from cond-mat.str-el) [pdf, ps, other]
Title: Categorical descriptions of 1-dimensional gapped phases with abelian onsite symmetries
Comments: 35 pages, 7 figures
Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Quantum Algebra (math.QA)
[74]  arXiv:2205.09844 (cross-list from quant-ph) [pdf, other]
Title: Quantum Supermaps are Characterized by Locality
Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Category Theory (math.CT)
[75]  arXiv:2205.15306 (cross-list from cs.DM) [pdf, other]
Title: How to Compose Shortest Paths
Authors: Jade Master
Comments: 3 pages, 2 pictures
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Category Theory (math.CT)
[76]  arXiv:2205.15917 (cross-list from cs.PL) [pdf, other]
Title: Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[ total of 76 entries: 1-10 | ... | 41-50 | 51-60 | 61-70 | 71-76 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2212, contact, help  (Access key information)