Category Theory

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

[61]  arXiv:2205.00466 (cross-list from quant-ph) [pdf, other]

Title: Categorical Semantics for Feynman Diagrams

Authors: Razin A. Shaikh, Stefano Gogioso

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

Authors: Alejandro Díaz-Caro, Octavio Malherbe

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

Authors: Joshua Meyers, David I. Spivak, Ryan Wisnesky

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

Authors: Eli Sennesh, Tom Xu, Yoshihiro Maruyama

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

Authors: Tomáš Jakl, Dan Marsden, Nihil Shah

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

Authors: Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis

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

Authors: Liang Kong, Zhi-Hao Zhang

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

Authors: Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini

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

Authors: John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson

Comments: 17 pages

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Populations and Evolution (q-bio.PE)