Category Theory

Authors and titles for May 2021

[51] arXiv:2105.03274 (cross-list from cs.LO) [pdf, other]

Title: Lovász-Type Theorems and Game Comonads

Anuj Dawar, Tomáš Jakl, Luca Reggio

Comments: 23 pages. To appear in the Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)

[52] arXiv:2105.04059 (cross-list from quant-ph) [pdf, other]

Title: Towards a functorial description of quantum relative entropy

Arthur J. Parzygnat

Comments: 8 pages, submission to GSI'21 (post-print)

Journal-ref: In: Nielsen F., Barbaresco F. (eds) Geometric Science of Information. GSI 2021. Lecture Notes in Computer Science, vol 12829. Springer, Cham., pp 557-564 (2021)

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Category Theory (math.CT)

[53] arXiv:2105.04095 (cross-list from math.RT) [pdf, other]

Title: The ST correspondence for proper non-positive dg algebras

Houjun Zhang

Subjects: Representation Theory (math.RT); Category Theory (math.CT)

[54] arXiv:2105.04622 (cross-list from math.QA) [pdf, other]

Title: Interpolations of monoidal categories and algebraic structures by invariant theory

Ehud Meir

Comments: 31 pages, 13 figures. To appear in Selecta Mathematica

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT)

[55] arXiv:2105.04929 (cross-list from cs.LO) [pdf, other]

Title: Asynchronous Template Games and the Gray Tensor Product of 2-Categories

Melliès Paul-André

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[56] arXiv:2105.05006 (cross-list from math.OA) [pdf, other]

Title: Exact Structures for Operator Modules

Martin Mathieu, Michael Rosbotham

Comments: manuscript submitted to Canadian Journal of Mathematics in May 2021

Subjects: Operator Algebras (math.OA); Category Theory (math.CT)

[57] arXiv:2105.05748 (cross-list from cs.CL) [pdf, other]

Title: Conversational Negation using Worldly Context in Compositional Distributional Semantics

Benjamin Rodatz, Razin A. Shaikh, Lia Yeh

Comments: 13 pages, 5 figures, To be published in Proceedings of SEMSPACE 2021 and to appear in the ACL anthology

Subjects: Computation and Language (cs.CL); Category Theory (math.CT); Quantum Physics (quant-ph)

[58] arXiv:2105.05889 (cross-list from math.HO) [pdf, html, other]

Title: Modern incarnations of the Aristotelian concepts of Continuum and Topos

Clarence Protin

Comments: New version

Subjects: History and Overview (math.HO); Category Theory (math.CT)

[59] arXiv:2105.05949 (cross-list from cs.CR) [pdf, other]

Title: Categorical composable cryptography

Anne Broadbent, Martti Karvonen

Comments: Updated to match the proceedings version

Journal-ref: Foundations of Software Science and Computation Structures (FoSSaCS) 2022

Subjects: Cryptography and Security (cs.CR); Category Theory (math.CT)

[60] arXiv:2105.06186 (cross-list from cs.LO) [pdf, other]

Title: Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)

Nicolas Behr (Université Paris Cité, IRIF, CNRS), Joachim Kock (Universitat Autònoma de Barcelona & Centre de Recerca Matemàtica)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 323-337

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[61] arXiv:2105.06244 (cross-list from cs.LO) [pdf, other]

Title: A Graphical Calculus for Lagrangian Relations

Cole Comfort (University of Oxford), Aleks Kissinger (University of Oxford)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 338-351

Subjects: Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Category Theory (math.CT); Quantum Physics (quant-ph)

[62] arXiv:2105.06763 (cross-list from cs.GT) [pdf, other]

Title: Translating Extensive Form Games to Open Games with Agency

Matteo Capucci (University of Strathclyde), Neil Ghani (University of Strathclyde), Jérémy Ledent (University of Strathclyde), Fredrik Nordvall Forsberg (University of Strathclyde)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 221-234

Subjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA); Category Theory (math.CT)

[63] arXiv:2105.07234 (cross-list from math.GR) [pdf, other]

Title: Some simple biset functors

Serge Bouc

Subjects: Group Theory (math.GR); Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)

[64] arXiv:2105.07720 (cross-list from cs.CL) [pdf, other]

Title: A CCG-Based Version of the DisCoCat Framework

Richie Yeung, Dimitri Kartsaklis

Comments: SemSpace 2021: Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science

Subjects: Computation and Language (cs.CL); Category Theory (math.CT)

[65] arXiv:2105.07888 (cross-list from math.AT) [pdf, other]

Title: Animated Condensed Sets and Their Homotopy Groups

Catrin Mair

Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Category Theory (math.CT)

[66] arXiv:2105.08479 (cross-list from math.AT) [pdf, other]

Title: Higher stacks as diagrams

Fritz Hörmann

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

[67] arXiv:2105.09731 (cross-list from math.RA) [pdf, other]

Title: Free limits of free algebras

Alexandru Chirvasitu, Tao Hong

Comments: 11 pages

Subjects: Rings and Algebras (math.RA); Category Theory (math.CT)

[68] arXiv:2105.09929 (cross-list from cs.LO) [pdf, other]

Title: Join Inverse Rig Categories for Reversible Functional Programming, and Beyond

Robin Kaarsgaard (University of Edinburgh), Mathys Rennela (INRIA Paris)

Comments: In Proceedings MFPS 2021, arXiv:2112.13746

Journal-ref: EPTCS 351, 2021, pp. 152-167

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)

[69] arXiv:2105.10414 (cross-list from cs.LG) [pdf, other]

Title: Sheaves as a Framework for Understanding and Interpreting Model Fit

Henry Kvinge, Brett Jefferson, Cliff Joslyn, Emilie Purvine

Comments: 12 page

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Algebraic Topology (math.AT); Category Theory (math.CT)

[70] arXiv:2105.10946 (cross-list from cs.LO) [pdf, other]

Title: Diagrammatic Polyhedral Algebra

Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[71] arXiv:2105.11202 (cross-list from math.QA) [pdf, other]

Title: Subalgebras of etale algebras and fusion subcategories

Sebastian Burciu

Comments: 35 pages. Comments are welcome! Subsection 4.5 has been added. Corrected typos

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT)

[72] arXiv:2105.11331 (cross-list from math.CA) [pdf, other]

Title: Localizable locally determined measurable spaces with negligibles

Philippe Bouafia, Thierry De Pauw

Subjects: Classical Analysis and ODEs (math.CA); Category Theory (math.CT); Functional Analysis (math.FA)

[73] arXiv:2105.11398 (cross-list from econ.TH) [pdf, other]

Title: A Category for Extensive-Form Games

Peter A. Streufert

Comments: 60 pages, 17 figures, formulation entirely different from arXiv:2004.11196

Subjects: Theoretical Economics (econ.TH); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[74] arXiv:2105.11613 (cross-list from math.AT) [pdf, other]

Title: Twisted arrow categories, operads and Segal conditions

Sergei Burkin

Comments: 66 pages, 8 figures. v3: final version, same as the journal version

Journal-ref: Theory Appl. Categ. 38 (2022), Paper No. 16, 595--660

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

[75] arXiv:2105.11884 (cross-list from math.GR) [pdf, other]

Title: Factorisations of some partially ordered sets and small categories

Tobias Schlemmer

Comments: 41 pages

Subjects: Group Theory (math.GR); Category Theory (math.CT)

[76] arXiv:2105.12010 (cross-list from math.OA) [pdf, html, other]

Title: Q-system completion for C* 2-categories

Quan Chen, Roberto Hernández Palomares, Corey Jones, David Penneys

Comments: 48 pages, many tikz figures, comments welcome!

Subjects: Operator Algebras (math.OA); Category Theory (math.CT); Quantum Algebra (math.QA)

[77] arXiv:2105.12688 (cross-list from math.DS) [pdf, other]

Title: Topological moduli space for germs of holomorphic foliations II: Universal deformations

David Marín, Jean-François Mattei, Éliane Salem

Subjects: Dynamical Systems (math.DS); Category Theory (math.CT); Complex Variables (math.CV); Geometric Topology (math.GT)

[78] arXiv:2105.12911 (cross-list from eess.SY) [pdf, other]

Title: Compositional Thinking in Cyberphysical Systems Theory

Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[79] arXiv:2105.13286 (cross-list from math.AG) [pdf, other]

Title: Universal cohomology theories

L. Barbieri-Viale

Comments: References added

Journal-ref: Communications in Algebra, Vol. 51 (2023) 3314-3345

Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Category Theory (math.CT); K-Theory and Homology (math.KT); Representation Theory (math.RT)

[80] arXiv:2105.13334 (cross-list from math.AG) [pdf, other]

Title: The Heisenberg category of a category

Ádám Gyenge, Clemens Koppensteiner, Timothy Logvinenko

Comments: 85 pages; v3; minor fixes throughout; clarifications to Section 8

Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Representation Theory (math.RT)

[81] arXiv:2105.15167 (cross-list from math.QA) [pdf, other]

Title: Minimal nondegenerate extensions

Theo Johnson-Freyd, David Reutter

Comments: 66 pages. final version

Journal-ref: Journal of the American Mathematical Society (2023)

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT); Representation Theory (math.RT)