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

Category Theory

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

[ total of 76 entries: 1-5 | ... | 46-50 | 51-55 | 56-60 | 61-65 | 66-70 | 71-75 | 76 ]
[ showing 5 entries per page: fewer | more | all ]
[61]  arXiv:2205.00466 (cross-list from quant-ph) [pdf, other]
Title: Categorical Semantics for Feynman Diagrams
Comments: Submitted to QPL 2022
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[62]  arXiv:2205.02142 (cross-list from cs.LO) [pdf, ps, other]
Title: Semimodules and the (syntactically-)linear lambda calculus
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[63]  arXiv:2205.02425 (cross-list from cs.DB) [pdf, other]
Title: Fast Left Kan Extensions Using The Chase
Comments: This paper is the subject of United States Letters Patent No. 11,256,672
Subjects: Databases (cs.DB); Category Theory (math.CT)
[64]  arXiv:2205.03640 (cross-list from cs.LO) [pdf, ps, other]
Title: Weakening and Iterating Laws using String Diagrams
Authors: Alexandre Goy
Comments: Conference version (proceedings of MFPS 2022)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[65]  arXiv:2205.04545 (cross-list from cs.AI) [pdf, other]
Title: A Probabilistic Generative Model of Free Categories
Comments: Submitted to International Conference on Applied Category Theory 2022 (ACT 2022)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Category Theory (math.CT); Machine Learning (stat.ML)
[ total of 76 entries: 1-5 | ... | 46-50 | 51-55 | 56-60 | 61-65 | 66-70 | 71-75 | 76 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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