Category Theory

Authors and titles for March 2021

[1] arXiv:2103.00094 [pdf, other]

Title: Monoidal Abelian Envelopes with a quotient property

Kevin Coulembier, Pavel Etingof, Victor Ostrik, Bregje Pauwels

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

[2] arXiv:2103.00278 [pdf, other]

Title: Right-cancellable protomodular algebras

Dali Zangurashvili

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

[3] arXiv:2103.00938 [pdf, other]

Title: Differential 2-rigs

Fosco Loregian (Tallinn University of Technology), Todd Trimble (Western Connecticut State University)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 159-182

Subjects: Category Theory (math.CT)

[4] arXiv:2103.01189 [pdf, html, other]

Title: Learners' Languages

David I. Spivak (Topos Institute)

Comments: In Proceedings ACT 2021, arXiv:2211.01102. [Edit 2025.06.06: the original version (v1) of this paper referred to the main object of interest as "Org", but later versions referred to the same object as "Sys". In the meantime, other articles have been referencing the object as "Org". The only purpose of this edit is to reinstate the name "Org".]

Journal-ref: EPTCS 372, 2022, pp. 14-28

Subjects: Category Theory (math.CT); Machine Learning (cs.LG)

[5] arXiv:2103.01326 [pdf, other]

Title: Green fields

Serge Bouc, Nadia Romero

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

[6] arXiv:2103.01364 [pdf, other]

Title: Subprojectivity in abelian categories

Houda Amzil, Driss Bennis, J. R. Garcia Rozas, Hanane Ouberka, Luis Oyonarte

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

[7] arXiv:2103.01441 [pdf, other]

Title: Construction of coend and the reconstruction theorem of bialgebras

Kun Zhou

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

[8] arXiv:2103.01561 [pdf, other]

Title: Ideals in BIT speciale varieties

Dali Zangurashvili

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

[9] arXiv:2103.01613 [pdf, other]

Title: Crossed squares of cocommutative Hopf algebras

Florence Sterck

Comments: 40 pages

Journal-ref: Journal of Algebra 584, 270-303 (2021)

Subjects: Category Theory (math.CT)

[10] arXiv:2103.02001 [pdf, other]

Title: General 2-Dimensional Adjunctions, Universal Monads and Simplicial Structures

John Lauchlin MacDonald, Laura Scull

Subjects: Category Theory (math.CT)

[11] arXiv:2103.03105 [pdf, other]

Title: The category of simple graphs is coreflective in the comma category of groups under the free group functor

Christian Frank

Comments: 4 pages, 5 diagrams

Subjects: Category Theory (math.CT)

[12] arXiv:2103.03974 [pdf, other]

Title: Cohomological Mackey 2-functors

Paul Balmer, Ivo Dell'Ambrogio

Comments: A few remaining typos corrected in journal proofs. 28 pages, final version, to appear in J. Inst. Math. Jussieu

Journal-ref: J. Inst. Math. Jussieu 23 (2024), no. 1, 279-309

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

[13] arXiv:2103.04560 [pdf, other]

Title: Extension of topological groupoids and Serre, Hurewicz morphisms

Saikat Chatterjee, Praphulla Koushik

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

[14] arXiv:2103.05191 [pdf, other]

Title: Exponential Modalities and Complementarity (extended abstract)

Robin Cockett (University of Calgary), Priyaa Varshinee Srinivasan (University of Calgary)

Comments: In Proceedings ACT 2021, arXiv:2211.01102. A full version of this paper, containing all proofs, appears at arXiv:2103:05191

Journal-ref: EPTCS 372, 2022, pp. 207-220

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

[15] arXiv:2103.05412 [pdf, other]

Title: Towards a new cohomology theory for strict Lie 2-groups

Camilo Angulo

Subjects: Category Theory (math.CT)

[16] arXiv:2103.06003 [pdf, other]

Title: Higher weak (co)limits, adjoint functor theorems, and higher Brown representability

Hoang Kim Nguyen, George Raptis, Christoph Schrade

Comments: n-GAFT is shown also for n=2; corrected some errors around the proof of Lemma 3.2.9 (Criterion B) and the corresponding examples; other minor improvements in the exposition and some more details. To appear in Documenta Mathematica

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

[17] arXiv:2103.06155 [pdf, other]

Title: Algebraic models of dependent type theory

Clive Newstead

Comments: doctoral thesis, advised by Steve Awodey

Subjects: Category Theory (math.CT)

[18] arXiv:2103.07572 [pdf, other]

Title: On factorisation systems for Ord-enriched categories and categories of partial maps

Leonardo Larizza

Comments: 26 pages

Subjects: Category Theory (math.CT)

[19] arXiv:2103.08379 [pdf, other]

Title: On free abelian categories for theorem proving

Sebastian Posur

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

[20] arXiv:2103.08655 [pdf, other]

Title: Limits and Colimits in the Category of Pastures

Steven Creech

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

[21] arXiv:2103.08686 [pdf, other]

Title: The subobject decomposition in enveloping tensor categories

Friedrich Knop

Comments: v1: 16 pages; v2: 16 pages, typos fixed, comparison with Deligne's construction extended; v3: 16 pages, a few typos corrected, final version, to appear in a memorial volume for T.A. Springer

Journal-ref: Indag. Math. (N.S.) 33 (2022) 238-254

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

[22] arXiv:2103.09000 [pdf, other]

Title: Third-order functionals on partial combinatory algebras

Jetze Zoethout

Comments: 36 pages

Subjects: Category Theory (math.CT)

[23] arXiv:2103.11508 [pdf, other]

Title: The Gálvez-Kock-Tonks conjecture for locally discrete decomposition spaces

Wilson Forero

Comments: Lemma 4.5 has been corrected

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

[24] arXiv:2103.12387 [pdf, other]

Title: On Congruence Modular Varieties and Gumm Categories

Dominique Bourn

Comments: 48 pages

Subjects: Category Theory (math.CT)

[25] arXiv:2103.12482 [pdf, other]

Title: Positive and negative extensions in extriangulated categories

Mikhail Gorsky, Hiroyuki Nakaoka, Yann Palu

Comments: 51pp

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

[26] arXiv:2103.12762 [pdf, other]

Title: Univalence in Higher Category Theory

Nima Rasekh

Comments: 40 Pages, originally part of arXiv:1805.03561, fixed a mistake in section 3, corrected some typos and added some references. Comments welcome!

Subjects: Category Theory (math.CT)

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

Title: Internal absolute geometry I: desingularization

Karsten Bohlen

Comments: 12 pages. The title has changed, and the article has been split into smaller pieces

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

[28] arXiv:2103.16394 [pdf, other]

Title: Bilimits are Bifinal Objects

Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Comments: Fixed some typos and mistakes, improved exposition. To appear on JPAA

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

[29] arXiv:2103.16770 [pdf, other]

Title: Constellations with range and IS-categories

Victoria Gould, Tim Stokes

Comments: 31 pages, some minor fixes since first version

Subjects: Category Theory (math.CT)

[30] arXiv:2103.16907 [pdf, other]

Title: Localization of extriangulated categories

Hiroyuki Nakaoka, Yasuaki Ogawa, Arashi Sakai

Comments: 48 pages (v2: Results improved. Assumption in section 4 is weakened.)

Subjects: Category Theory (math.CT)

[31] arXiv:2103.17141 [pdf, other]

Title: Yoneda's lemma for internal higher categories

Louis Martini

Comments: Simplified the proof of the Grothendieck construction; removed a flaw in the proof of Yoneda's lemma and spelled out a few lemmas to this proof wich have been left implicit in the previous versions. Changed some terminology and removed typos. Restructured the last part of the paper

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

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

Title: Yoneda Hacking: The Algebra of Attacker Actions

Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming

Subjects: Cryptography and Security (cs.CR); Systems and Control (eess.SY); Category Theory (math.CT)

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

Title: Nerves and cones of free loop-free ω-categories

Andrea Gagna, Viktoriya Ozornova, Martina Rovelli

Comments: v2: restructured the paper improving exposition, included details on the second type of cone

Journal-ref: Tunisian J. Math. 5 (2023) 273-326

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

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

Title: Model category structures on simplicial objects

Fritz Hörmann

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

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

Title: Categorical Foundations of Gradient-Based Learning

G.S.H. Cruttwell, Bruno Gavranović, Neil Ghani, Paul Wilson, Fabio Zanasi

Comments: 14 pages

Subjects: Machine Learning (cs.LG); Category Theory (math.CT)

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

Title: Internal Category with Families in Presheaves

Jason Z. S. Hu

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

[37] arXiv:2103.02302 (cross-list from quant-ph) [pdf, other]

Title: A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing

Nicholas Gauguin Houghton-Larsen

Comments: PhD thesis submitted to the University of Copenhagen (ISBN 978-87-7125-039-8). Advised by prof. Matthias Christandl, submitted 1st of December 2020, defended 11th of February 2021. Keywords: dilations, applied category theory, quantum foundations, causal structure, quantum self-testing. 242 pages, 1 figure. Comments are welcome

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

[38] arXiv:2103.02801 (cross-list from math.GN) [pdf, other]

Title: Sober topological spaces valued in a quantale

Dexue Zhang, Gao Zhang

Comments: 22 pages. arXiv admin note: text overlap with arXiv:2102.02939

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

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

Title: Rewriting the elements in the intersection of the kernels of two morphisms between free groups

François Renaud

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

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

Title: Lectures on Symmetric Tensor Categories

Pavel Etingof, Arun S. Kannan

Comments: 34 pages, latex; v2 discusses results of the new paper [CEO], and derives stronger corollaries in the appendix

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

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

Title: A cohomological proof for the integrability of strict Lie 2-algebras

Camilo Angulo

Journal-ref: IJGMMP Vol. 19, No. 14, 2250222 (2022)

Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Category Theory (math.CT)

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

Title: Étale triviality of finite equivariant vector bundles

Indranil Biswas, Peter O'Sullivan

Journal-ref: Épijournal de Géométrie Algébrique, Volume 5 (November 19, 2021) epiga:7275

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

[43] arXiv:2103.06687 (cross-list from math.LO) [pdf, other]

Title: Salce's problem on cotorsion pairs is undecidable

Sean Cox

Comments: To appear in Bulletin of the London Mathematical Society

Subjects: Logic (math.LO); Commutative Algebra (math.AC); Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)

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

Title: On semisimplicity of module categories for finite non-zero index vertex operator subalgebras

Robert McRae

Comments: 25 pages, references updated in this version

Journal-ref: Lett. Math. Phys., Vol. 112 (2022), no. 2, Paper No. 25

Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Category Theory (math.CT); Representation Theory (math.RT)

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

Title: Exponentiable Grothendieck categories in flat Algebraic Geometry

Ivan Di Liberti, Julia Ramos González

Comments: Final version. Accepted for publication

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

[46] arXiv:2103.07960 (cross-list from quant-ph) [pdf, other]

Title: Diagrammatic Differentiation for Quantum Machine Learning

Alexis Toumi (University of Oxford), Richie Yeung (Cambridge Quantum Computing Ltd.), Giovanni de Felice (University of Oxford)

Comments: In Proceedings QPL 2021, arXiv:2109.04886

Journal-ref: EPTCS 343, 2021, pp. 132-144

Subjects: Quantum Physics (quant-ph); Machine Learning (cs.LG); Category Theory (math.CT)

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

Title: Abelian hearts of twin cotorsion pairs on extriangulated categories

Qiong Huang, Panyue Zhou

Comments: 13 pages

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

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

Title: Intervals of $s$-torsion pairs in extriangulated categories with negative first extensions

Takahide Adachi, Haruhisa Enomoto, Mayu Tsukamoto

Comments: 16 pages

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

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

Title: Accretive Computation of Global Transformations

Alexandre Fernandez (LACL), Luidnel Maignan (LACL), Antoine Spicher (LACL)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Category Theory (math.CT); Cellular Automata and Lattice Gases (nlin.CG)

[50] arXiv:2103.10377 (cross-list from math-ph) [pdf, other]

Title: Motion groupoids and mapping class groupoids

Fiona Torzewska, João Faria Martins, Paul Purdon Martin

Comments: Version accepted for publication in CMP. 75 pages, 14 figures

Journal-ref: Comm. Math. Phys. 402, 1621-1705 (2023)

Subjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Geometric Topology (math.GT)