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-10 | ... | 31-40 | 41-50 | 51-60 | 61-70 | 71-76 ]
[ showing 10 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)
[66]  arXiv:2205.05387 (cross-list from cs.LO) [pdf, other]
Title: A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[67]  arXiv:2205.05392 (cross-list from cs.LO) [pdf, ps, other]
Title: Algebraic Presentation of Semifree Monads
Comments: In Proceedings of CMCS 2022
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[68]  arXiv:2205.05565 (cross-list from cond-mat.str-el) [pdf, ps, other]
Title: An invitation to topological orders and category theory
Comments: 138 pages, 73 figures. Correct some mistakes and imprecise sentences in section 3.4.6 in version 1. Comments are welcome
Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Quantum Algebra (math.QA)
[69]  arXiv:2205.06892 (cross-list from cs.LO) [pdf, ps, other]
Title: Lax completeness for gs-monoidal categories
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[70]  arXiv:2205.08373 (cross-list from cs.LO) [pdf, other]
Title: Compositional Modeling with Stock and Flow Diagrams
Comments: 17 pages
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Populations and Evolution (q-bio.PE)
[ total of 76 entries: 1-10 | ... | 31-40 | 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, 2302, contact, help  (Access key information)