Category Theory

Authors and titles for May 2023

[1] arXiv:2305.00167 [pdf, other]

Title: Structures on Categories of Polynomials

Brandon T. Shapiro, David I. Spivak

Comments: 50 pages. Additional references added, and minor expository improvements

Subjects: Category Theory (math.CT)

[2] arXiv:2305.00272 [pdf, other]

Title: The semibicategory of Moore automata

Guido Boccali, Bojana Femić, Andrea Laretto, Fosco Loregian, Stefano Luneia

Comments: "The complexity of a bicategory of automata doubles every two months" (G.E.M., 1929--2023)

Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL)

[3] arXiv:2305.00893 [pdf, other]

Title: Cartesian cubical model categories

Steve Awodey

Comments: 104 pages

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

[4] arXiv:2305.01041 [pdf, other]

Title: Data-Parallel Algorithms for String Diagrams

Paul Wilson, Fabio Zanasi

Subjects: Category Theory (math.CT); Programming Languages (cs.PL)

[5] arXiv:2305.01187 [pdf, other]

Title: Preservation of Loewy Diagrams Under Exact Functors

Matthew Rupert

Comments: Minor Corrections

Subjects: Category Theory (math.CT)

[6] arXiv:2305.01357 [pdf, other]

Title: Gluing of infinitesimal models of algebraic theories

Filip Bár

Comments: 18 pages, submitted to the Journal of Pure and Applied Algebra

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

[7] arXiv:2305.01474 [pdf, other]

Title: A comonad for Grothendieck fibrations

Jacopo Emmenegger, Luca Mesiti, Giuseppe Rosolini, Thomas Streicher

Comments: Improved version, accepted for publication in Theory and Applications of Categories (Bunge Festschrift)

Subjects: Category Theory (math.CT)

[8] arXiv:2305.01494 [pdf, other]

Title: Colimits in 2-dimensional slices

Luca Mesiti

Comments: Accepted in Journal of Pure and Applied Algebra

Subjects: Category Theory (math.CT)

[9] arXiv:2305.02293 [pdf, other]

Title: On Multi-Determinant Functors for Triangulated Categories

Ettore Aldrovandi, Cynthia Lester

Comments: 35 Pages. Added a few clarifying sentences at the referee's request. No substantial changes. Version accepted by Theory and Applications of Categories

Journal-ref: Theory and Applications of Categories, Vol. 39, 2023, No. 27, pp 769-803

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

[10] arXiv:2305.02308 [pdf, other]

Title: Descent in tensor triangular geometry

Tobias Barthel, Natalia Castellana, Drew Heard, Niko Naumann, Luca Pol, Beren Sanders

Comments: 46 pages; all comments welcome

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

[11] arXiv:2305.02571 [pdf, other]

Title: All Concepts are $\mathbb{C}\mathbf{at}^\#$

Owen Lynch, Brandon T. Shapiro, David I. Spivak

Comments: 31 pages. Proofs in appendix moved into the main body, and chapter on nerves of higher categories removed to a separate submission at arXiv:2405.13157

Subjects: Category Theory (math.CT)

[12] arXiv:2305.02581 [pdf, other]

Title: Generic representations of finite general linear groups in cross characteristic

Aurélien Djament (LAGA), Thomas Gaujal (LPP)

Comments: in French language, R{é}vision mineure par rapport au premier d{é}p{ô}t

Subjects: Category Theory (math.CT); K-Theory and Homology (math.KT); Representation Theory (math.RT)

[13] arXiv:2305.02675 [pdf, other]

Title: Collages of String Diagrams

Dylan Braithwaite (University of Strathclyde), Mario Román (Tallinn University of Technology)

Comments: In Proceedings ACT 2023, arXiv:2312.08138. 15 pages, 10 figures, shorter version for ACT2023

Journal-ref: EPTCS 397, 2023, pp. 39-53

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

[14] arXiv:2305.02732 [pdf, html, other]

Title: The Algebraic Weak Factorisation System for Delta Lenses

Bryce Clarke

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 54-69

Subjects: Category Theory (math.CT)

[15] arXiv:2305.02906 [pdf, html, other]

Title: Optics for Premonoidal Categories

James Hefford (University of Oxford), Mario Román (Tallinn University of Technology)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 152-171

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

[16] arXiv:2305.03120 [pdf, other]

Title: Free and co-free constructions for Hopf categories

Paul Großkopf, Joost Vercruysse

Comments: Several corrections with respect to previous version. Final version as accepted for publication in Journal of Pure and Applied Algebra

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

[17] arXiv:2305.03421 [pdf, other]

Title: A categorical treatment of the Radon-Nikodym theorem and martingales

Ruben Van Belle

Comments: 33 pages

Subjects: Category Theory (math.CT); Functional Analysis (math.FA); Probability (math.PR)

[18] arXiv:2305.03581 [pdf, other]

Title: Płonka Adjunction

Juan Climent Vidal, Enric Cosme Llópez

Comments: 36 pages

Subjects: Category Theory (math.CT)

[19] arXiv:2305.04042 [pdf, html, other]

Title: On effective descent $\mathcal V$-functors and familial descent morphisms

Rui Prezado

Comments: 17 p

Journal-ref: Journal of Pure and Applied Algebra, 228:5 (2024)

Subjects: Category Theory (math.CT)

[20] arXiv:2305.04659 [pdf, other]

Title: Semi-abelian condition for color Hopf algebras

Andrea Sciandra

Subjects: Category Theory (math.CT); Quantum Algebra (math.QA); Rings and Algebras (math.RA); Representation Theory (math.RT)

[21] arXiv:2305.05361 [pdf, other]

Title: Functors of Variance: Heuristic Naturality and Connection to Ends

David Forsman

Comments: 16 pages, 32 diagrams

Subjects: Category Theory (math.CT)

[22] arXiv:2305.05604 [pdf, html, other]

Title: On surjectivity in tensor triangular geometry

Tobias Barthel, Natalia Castellana, Drew Heard, Beren Sanders

Comments: Accepted for publication in Math. Z.; comments still welcome!

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

[23] arXiv:2305.05655 [pdf, html, other]

Title: Monoidal Structures on Generalized Polynomial Categories

Joseph Dorta (Louisiana State University), Samantha Jarvis (CUNY Graduate Center), Nelson Niu (University of Washington)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 84-97

Subjects: Category Theory (math.CT)

[24] arXiv:2305.06075 [pdf, other]

Title: String Diagrams for Premonoidal Categories

Mario Román, Paweł Sobociński

Comments: 20 pages. Fixes typos and adds new examples. Extended version of the first chapters of 'Promonads and String Diagrams for Effectful Categories' from the first-named author, arXiv:2205.07664, presented at Applied Category Theory 2022

Subjects: Category Theory (math.CT)

[25] arXiv:2305.06112 [pdf, other]

Title: The Compositional Structure of Bayesian Inference

Dylan Braithwaite, Jules Hedges, Toby St Clere Smithe

Comments: Final postprint to be published in MFCS 2023. Contains material from two unpublished preprints, arXiv:2006.01631 and arXiv:2209.14728

Subjects: Category Theory (math.CT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Probability (math.PR)

[26] arXiv:2305.06714 [pdf, other]

Title: Factorization systems and double categories

Miloslav Štěpán

Subjects: Category Theory (math.CT)

[27] arXiv:2305.06938 [pdf, html, other]

Title: A layout algorithm for higher-dimensional string diagrams

Calin Tataru, Jamie Vicary

Subjects: Category Theory (math.CT)

[28] arXiv:2305.07076 [pdf, html, other]

Title: Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

Rory B. B. Lucyshyn-Wright, Jason Parker

Comments: Minor changes to reflect journal version: Moved summary from Section 6 to Section 2; corrected minor error in what is now Proposition 4.8 (formerly 3.8); other minor adjustments

Journal-ref: Theory and Applications of Categories 41 (2024), 1873-1918

Subjects: Category Theory (math.CT)

[29] arXiv:2305.10405 [pdf, other]

Title: Relative monadicity

Nathanael Arkor, Dylan McDermott

Comments: 25 pages; v3: improved exposition; final journal version

Journal-ref: Journal of Algebra, Volume 663, 1 February 2025, Pages 399-434

Subjects: Category Theory (math.CT)

[30] arXiv:2305.11303 [pdf, html, other]

Title: Dilatations of categories

Arnaud Mayeux

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

[31] arXiv:2305.11637 [pdf, html, other]

Title: Posetal Diagrams for Logically-Structured Semistrict Higher Categories

Chiara Sarti (Department of Computer Science, University of Cambridge), Jamie Vicary (Department of Computer Science, University of Cambridge)

Comments: In Proceedings ACT 2023, arXiv:2312.08138. Reformatted paper

Journal-ref: EPTCS 397, 2023, pp. 246-259

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

[32] arXiv:2305.13537 [pdf, other]

Title: Internal groupoids as involutive-2-links

Nelson Martins-Ferreira

Subjects: Category Theory (math.CT)

[33] arXiv:2305.15139 [pdf, other]

Title: Bifibrations of polycategories and classical multiplicative linear logic

Nicolas Blanco

Comments: 250 pages, 15 figures, PhD thesis in the Theory Group at the Computer Science School of the University of Birmingham under the supervision of Noam Zeilberger and Paul Levy

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

[34] arXiv:2305.15204 [pdf, other]

Title: Lax monoidality for products of enriched higher categories

Tyler Lawson

Comments: 22 pages. Comments welcome

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

[35] arXiv:2305.15209 [pdf, html, other]

Title: The representing localic groupoid for a geometric theory

Graham Manuell, Joshua L. Wrigley

Comments: 37 pages, minor edits

Journal-ref: Expositions in Theory and Applications of Categories, 2024, No. 2, pp 1-41

Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Logic (math.LO)

[36] arXiv:2305.15229 [pdf, other]

Title: Higher Categories and Slices of Globular Operads

Rhiannon Griffiths

Comments: arXiv admin note: text overlap with arXiv:2101.00077

Subjects: Category Theory (math.CT)

[37] arXiv:2305.15279 [pdf, other]

Title: Reformalizing the notion of autonomy as closure through category theory as an arrow-first mathematics

Ryuzo Hirota, Hayato Saigo, Shigeru Taguchi

Comments: This paper has been accepted for ALIFE 2023

Subjects: Category Theory (math.CT); Neurons and Cognition (q-bio.NC)

[38] arXiv:2305.16002 [pdf, html, other]

Title: On $2$-categorical $\infty$-cosmoi

John Bourke, Stephen Lack

Comments: V2 - corrected grant information

Subjects: Category Theory (math.CT)

[39] arXiv:2305.16281 [pdf, other]

Title: On the relationship between Galois and Tannakian categories: an open letter

Georgios Chara-Lambous

Subjects: Category Theory (math.CT)

[40] arXiv:2305.16524 [pdf, other]

Title: Classical Distributive Restriction Categories

Robin Cockett, Jean-Simon Pacaud Lemay

Comments: We would like to dedicate this paper to Pieter Hofstra (1975-2022). Accepted in a special issue of Theory and Applications of Categories dedicated to Pieter Hofstra

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

[41] arXiv:2305.16667 [pdf, other]

Title: Hopf Monads on Biproducts

Masahito Hasegawa, Jean-Simon Pacaud Lemay

Comments: Accepted in Theory and Applications of Categories (TAC)

Subjects: Category Theory (math.CT)

[42] arXiv:2305.16899 [pdf, other]

Title: Protocol Choice and Iteration for the Free Cornering

Chad Nester, Niels Voorneveld

Comments: Preprint. Article published in JLAMP. A few corrections have been made to the previous version

Journal-ref: Journal of Logical and Algrebraic Methods in Programming. Volume 137, 100942, 2024

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

[43] arXiv:2305.18463 [pdf, other]

Title: Yoneda lemma

Gintaras Valiukevičius

Subjects: Category Theory (math.CT)

[44] arXiv:2305.19042 [pdf, other]

Title: Ideals and Congruences in L-algebras and Pre-L-algebras

Alberto Facchini, Marino Gran, Mara Pompili

Subjects: Category Theory (math.CT); Logic (math.LO)

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

Title: On local fibrations of $(\infty,2)$-categories

F. Abellán

Comments: Comments welcome!

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

[46] arXiv:2305.02506 (cross-list from cs.PL) [pdf, html, other]

Title: String Diagrams with Factorized Densities

Eli Sennesh (Northeastern University), Jan-Willem van de Meent (University of Amsterdam)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 260-278

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)

[47] arXiv:2305.02826 (cross-list from math.PR) [pdf, html, other]

Title: Unifilar Machines and the Adjoint Structure of Bayesian Filtering

Nathaniel Virgo (Earth-Life Science Institute (ELSI), Tokyo Institute of Technology)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 299-317

Subjects: Probability (math.PR); Category Theory (math.CT)

[48] arXiv:2305.03820 (cross-list from math.OC) [pdf, html, other]

Title: Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems

Tyler Hanks, Baike She, Matthew Hale, Evan Patterson, Matthew Klawonn, James Fairbanks

Comments: To appear in the proceedings of the 2024 American Control Conference (ACC)

Subjects: Optimization and Control (math.OC); Category Theory (math.CT)

[49] arXiv:2305.04601 (cross-list from math.DG) [pdf, other]

Title: Second-order infinitesimal groups and affine connections

Filip Bár

Comments: 26 pages

Subjects: Differential Geometry (math.DG); Category Theory (math.CT)

[50] arXiv:2305.05507 (cross-list from cs.DC) [pdf, other]

Title: Pure Data Foundation of Mathematics and Computing

Saul Youssef

Comments: 14 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Category Theory (math.CT); Logic (math.LO)