Category Theory

Authors and titles for math.CT in Mar 2023

[1]  arXiv:2303.00879 [pdf, ps, other]

Title: Categorical magnitude and entropy

Authors: Stephanie Chen, Juan Pablo Vigneaux

Comments: 11 pages, published in GSI 2023 conference proceedings

Journal-ref: In: Nielsen, F., Barbaresco, F. (eds) Geometric Science of Information. GSI 2023. Lecture Notes in Computer Science, vol 14071. Springer, Cham

Subjects: Category Theory (math.CT); Information Theory (cs.IT)

[2]  arXiv:2303.01334 [pdf, ps, other]

Title: A conjecture on the composition of localizations on a stratified tensor triangulated category

Authors: Nicola Bellumat

Comments: 23 pages

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

[3]  arXiv:2303.01643 [pdf, ps, other]

Title: Additive Invariants of Open Petri Nets

Authors: Benjamin Merlin Bumpus, Sophie Libkind, Jordy Lopez Garcia, Layla Sorkatti, Samuel Tenka

Comments: 20 pages

Subjects: Category Theory (math.CT); Molecular Networks (q-bio.MN)

[4]  arXiv:2303.02065 [pdf, ps, other]

Title: Beyond Initial Algebras and Final Coalgebras

Authors: Ezra Schoen, Jade Master, Clemens Kupke

Comments: Extended Abstract

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

[5]  arXiv:2303.02572 [pdf, ps, other]

Title: Semantics of multimodal adjoint type theory

Authors: Michael Shulman

Comments: 19 pages. v2: Improved notation; extended pre-proceedings version for MFPS 2023. v3: correct some mis-wordings, final. v4: condensed version for conference postproceedings

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12300

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

[6]  arXiv:2303.02636 [pdf, ps, other]

Title: An abelian ambient category for behaviors in algebraic systems theory

Authors: Sebastian Posur

Comments: Minor improvements

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

[7]  arXiv:2303.03813 [pdf, ps, other]

Title: Ordered Locales

Authors: Chris Heunen, Nesta van der Schaaf

Comments: 23 pages, 5 figures; v2: added sections 7 and 8

Subjects: Category Theory (math.CT); General Topology (math.GN)

[8]  arXiv:2303.03865 [pdf, other]

Title: Bicategories of Automata, Automata in Bicategories

Authors: Guido Boccali (University of Torino), Andrea Laretto (Tallinn University of Technology), Fosco Loregian (Tallinn University of Technology), Stefano Luneia (University of Bologna)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 1-19

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

[9]  arXiv:2303.03867 [pdf, other]

Title: Completeness for categories of generalized automata

Authors: Guido Boccali, Andrea Laretto, Fosco Loregian, Stefano Luneia

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

[10]  arXiv:2303.03970 [pdf, ps, other]

Title: Central extensions of preordered groups

Authors: Marino Gran, Aline Michel

Comments: 19 pages

Subjects: Category Theory (math.CT)

[11]  arXiv:2303.05188 [pdf, ps, other]

Title: An adjunction between a category of complete restriction monoids and a category of étale categories

Authors: Mark V. Lawson

Subjects: Category Theory (math.CT)

[12]  arXiv:2303.05434 [pdf, ps, other]

Title: The Rosický Tangent Categories of Algebras over an Operad

Authors: Sacha Ikonicoff, Marcello Lanfranchi, Jean-Simon Pacaud Lemay

Comments: Fixed a minor typo, added table of contents

Subjects: Category Theory (math.CT)

[13]  arXiv:2303.06206 [pdf, ps, other]

Title: Cubical sites as Eilenberg-Zilber categories

Authors: Timothy Campion

Comments: 18 pages, comments welcome

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

[14]  arXiv:2303.06437 [pdf, other]

Title: Internal higher topos theory

Authors: Louis Martini, Sebastian Wolf

Comments: 52 pages, comments welcome. arXiv admin note: text overlap with arXiv:2209.05103

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

[15]  arXiv:2303.06781 [pdf, ps, other]

Title: Localization of monoids and topos theory

Authors: Jens Hemelaer

Comments: 19 pages

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

[16]  arXiv:2303.06843 [pdf, ps, other]

Title: On a characterization of (co)silting objects

Authors: Simion Breaz

Comments: Comments are welcome

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

[17]  arXiv:2303.07306 [pdf, ps, other]

Title: The category of extensions and idempotent completion

Authors: Raphael Bennett-Tennenhaus, Johanne Haugland, Mads Hustad Sandøy, Amit Shah

Comments: v2: 26 pages, minor changes

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

[18]  arXiv:2303.08000 [pdf, other]

Title: On Vector Spaces with Formal Infinite Sums

Authors: Pietro Freni

Comments: 65 pages. Changelog: minor changes to abstract; reworked overview; minor fixes in some proofs; added Subsection 3.4; fixed a mistake in Section 7 (old Proposition 7.4 and some of its consequences were false)

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

[19]  arXiv:2303.08614 [pdf, other]

Title: A generalization of anti-homomorphisms

Authors: Tianwei Liang

Subjects: Category Theory (math.CT)

[20]  arXiv:2303.08894 [pdf, other]

Title: A Formalization of Operads in Coq

Authors: Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman

Comments: Repository for code to follow shortly

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

[21]  arXiv:2303.10331 [pdf, ps, other]

Title: The category {\bf Rel}({\bf Nom})

Authors: M.Haddadi, Kh. Keshvardoost, N. S. Razmara

Subjects: Category Theory (math.CT)

[22]  arXiv:2303.10813 [pdf, ps, other]

Title: Monoidal Envelopes of Families of $\infty$-Operads and $\infty$-Operadic Kan Extensions

Authors: Kensuke Arakawa

Comments: 35 pages

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

[23]  arXiv:2303.11769 [pdf, ps, other]

Title: Duality in Non-Abelian Algebra V. Homological diagram lemmas

Authors: Kishan Kumar Dayaram, Amartya Goswami, Zurab Janelidze, Tim Van der Linden

Subjects: Category Theory (math.CT)

[24]  arXiv:2303.11796 [pdf, ps, other]

Title: Unbounded twisted complexes

Authors: Rina Anno, Timothy Logvinenko

Comments: 22 pages, v1

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

[25]  arXiv:2303.11826 [pdf, ps, other]

Title: $A_{\infty}$-structures in monoidal DG categories and strong homotopy unitality

Authors: Rina Anno, Sergey Arkhipov, Timothy Logvinenko

Comments: 66 pages, v2, paper revised and shortened for eventual publication. Some minor inconsistencies fixed. All mathematical content remains intact, however many helpful explanations and diagrams were removed. The readers who prefer succinctness should read this version, while those who prefer helpfulness should read v1

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