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)