Category Theory

Authors and titles for October 2021

[1] arXiv:2110.00239 [pdf, other]

Title: Substructural fixed-point theorems and the diagonal argument: theme and variations

David Michael Roberts

Comments: v1 20 pages; v2 22 pages, added additional final section on fixed-point operators; v3 final journal version

Journal-ref: Compositionality, Volume 5 (2023) (August 10, 2023) compositionality:13527

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

[2] arXiv:2110.00930 [pdf, other]

Title: Category bases that are equivalent to topologies

Abhit Chandra Pramani, Sanjib Basu, Atashi Deb Ray

Comments: Some changes are required as indicated by Prof Kenneth Schilling

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

[3] arXiv:2110.02574 [pdf, other]

Title: Shape of compacta as extension of weak homotopy of finite spaces

Pedro J. Chocano, Manuel A. Morón, Francisco R. Ruiz del Portal

Subjects: Category Theory (math.CT); Combinatorics (math.CO); Geometric Topology (math.GT)

[4] arXiv:2110.02804 [pdf, other]

Title: From dependent type theory to higher algebraic structures

Chaitanya Leena Subramaniam

Comments: PhD Thesis, 155 pages, in English (with English and French introductions)

Subjects: Category Theory (math.CT)

[5] arXiv:2110.05138 [pdf, other]

Title: A theorem of Retakh for exact $\infty$-categories and higher extension functors

Erlend D. Børve, Paul Trygsland

Comments: 28 pages v3: Updated contact information

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

[6] arXiv:2110.05327 [pdf, other]

Title: Compositionality as we see it, everywhere around us

Bob Coecke

Comments: 22 pages, lots of refs, lots of pictures, as usual

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

[7] arXiv:2110.05985 [pdf, other]

Title: A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces

Sean Tull (Cambridge Quantum Computing)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 306-322

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

[8] arXiv:2110.06404 [pdf, other]

Title: The Sierpinski Carpet as a Final Coalgebra

Victoria Noquez (Indiana University Bloomington), Lawrence S. Moss (Indiana University Bloomington)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 249-261

Subjects: Category Theory (math.CT)

[9] arXiv:2110.06591 [pdf, html, other]

Title: Lifting couplings in Wasserstein spaces

Paolo Perrone

Comments: 21 pages

Journal-ref: Compositionality, Volume 7 (2025) (May 7, 2025) compositionality:14115

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Metric Geometry (math.MG); Probability (math.PR)

[10] arXiv:2110.06613 [pdf, other]

Title: Varieties of ordered algebras as categories

Jiří Adámek, Jiří Rosický

Comments: revised version, 29 pages

Journal-ref: Alg. Univ. 84:9 (2023)

Subjects: Category Theory (math.CT)

[11] arXiv:2110.06916 [pdf, other]

Title: Presenting the Sierpinski Gasket in Various Categories of Metric Spaces

Jayampathy Ratnayake, Annanthakrishna Manokaran, Romaine Jayewardene, Victoria Noquez, Lawrence S. Moss

Comments: 21 pages

Subjects: Category Theory (math.CT)

[12] arXiv:2110.07072 [pdf, other]

Title: Locally bounded enriched categories

Rory B. B. Lucyshyn-Wright, Jason Parker

Comments: Minor changes to reflect journal version

Journal-ref: Theory and Applications of Categories 38 (2022), 684-736

Subjects: Category Theory (math.CT)

[13] arXiv:2110.08237 [pdf, other]

Title: Exact DG-categories and fully faithful triangulated inclusion functors

Leonid Positselski

Comments: LaTeX 2e with xy-pic and one mathb symbol, 155 pages, 58 commutative diagrams; v.10: important improvement in Example 4.19, proof of Lemma 4.13 simplified, explanations and details added here and there, Introduction, Section 1.3, and Remark 4.18 expanded, references added and updated; v.11: Section 1.1 expanded, new Sections 3.4 and 4.4 inserted, references added in Sections 2.3 and 2.4

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

[14] arXiv:2110.09381 [pdf, other]

Title: Exactness and faithfulness of monoidal functors

Bruno Kahn

Journal-ref: Confluentes Math. 14, no 2 (2022), 45-51

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

[15] arXiv:2110.10559 [pdf, other]

Title: Cokernels in the stable category of a left hereditary ring

Dali Zangurashvili

Comments: 14 pages

Subjects: Category Theory (math.CT); Commutative Algebra (math.AC); K-Theory and Homology (math.KT); Rings and Algebras (math.RA)

[16] arXiv:2110.11061 [pdf, other]

Title: Polyadic Sets and Homomorphism Counting

Luca Reggio

Comments: 40 pages. v3: Minor changes. Presentation improved

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

[17] arXiv:2110.14192 [pdf, other]

Title: On continuity of accessible functors

Giacomo Tendas

Comments: Revised version, minor typos fixed, published on Applied Categorical Structures

Subjects: Category Theory (math.CT)

[18] arXiv:2110.14280 [pdf, other]

Title: Normalizers in the non-pointed context: a weak case of extremal decomposition

Dominique Bourn

Comments: 33 pages

Subjects: Category Theory (math.CT)

[19] arXiv:2110.00446 (cross-list from cs.PL) [pdf, other]

Title: CHAD for Expressive Total Languages

Fernando Lucatelli Nunes, Matthijs Vákár

Comments: Under review at MSCS

Journal-ref: Mathematical Structures in Computer Science, 33(4-5):311-426, 2023

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

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

Title: Equivariant Functors and Sheaves

Geoff Vooys

Comments: 455 Pages. Ver 3: Fixed the definition of etale locally trivializable quotient map as well as the proofs that used this definition

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

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

Title: The reflectivity of some categories of T0 spaces in domain theory

Chong Shen, Xiaoyong Xi, Dongsheng Zhao

Journal-ref: Rocky Mountain J. Math. 54(4), 1149-1166 (2024)

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

[22] arXiv:2110.01489 (cross-list from math.LO) [pdf, html, other]

Title: A foundation for deductive mathematics

Frank Quinn

Comments: 25 pages, July 2025, notation improved, assertion logic sharpened from previous version. arXiv admin note: substantial text overlap with arXiv:2009.08867

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

[23] arXiv:2110.01694 (cross-list from math.LO) [pdf, html, other]

Title: The weak Ramsey property and extreme amenability

Adam Bartoš, Tristan Bice, Keegan Dasilva Barbosa, Wiesław Kubiś

Comments: 57 pages, 12 figures

Journal-ref: Forum of Mathematics, Sigma 12 (2024) e96

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

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

Title: On the existence of Auslander-Reiten $n$-exangles in $n$-exangulated categories

Jian He, Jiangsheng Hu, Dongdong Zhang, Panyue Zhou

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:2109.12954; text overlap with arXiv:2108.07985, arXiv:2109.00196. text overlap with arXiv:2006.02223, arXiv:2011.00729, arXiv:1909.13284; text overlap with arXiv:1709.06689 by other authors

Journal-ref: Ark. Mat. 60 (2022), no. 2, 365-385

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

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

Title: Data-Centric AI Requires Rethinking Data Notion

Mustafa Hajij, Ghada Zamzmi, Karthikeyan Natesan Ramamurthy, Aldo Guzman Saenz

Journal-ref: Conference: 35th Conference on Neural Information Processing Systems (NeurIPS 2021) At: NEURIPS DATA-CENTRIC AI WORKSHOP

Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Category Theory (math.CT); Machine Learning (stat.ML)

[26] arXiv:2110.02958 (cross-list from hep-th) [pdf, other]

Title: Construction of two-dimensional topological field theories with non-invertible symmetries

Tzu-Chen Huang, Ying-Hsuan Lin, Sahand Seifnashri

Comments: 41+9 pages; v2: minor update

Subjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Category Theory (math.CT); Quantum Algebra (math.QA)

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

Title: Levels of algebraicity in stable homotopy theories

Jocelyne Ishak, Constanze Roitzheim, Jordan Williamson

Comments: 30 pages, to appear in Journal of the LMS

Journal-ref: J. Lond. Math. Soc., II. Ser., 108(2):545-577, 2023

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

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

Title: Two-term silting and $τ$-cluster morphism categories

Erlend D. Børve

Comments: 35 pages. v3: §2, which previously included a flawed definition, has been removed, §2 (previously §3) considerably reshaped. v4: Thm. 5.3 has been removed. Contact information updated. v5: Setting generalised to non-positive dg algebras with finite dimensional cohomology in all degrees, Section 5 removed, substantial additions to some proofs

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

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

Title: Computing associators of endomorphism fusion categories

Daniel Barter, Jacob C. Bridgeman, Ramona Wolf

Comments: 15+10 pages, 1 figure, 1 table, published version, original formatting

Journal-ref: SciPost Phys. 13, 029 (2022)

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

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

Title: Adams spectral sequences and Franke's algebraicity conjecture

Irakli Patchkoria, Piotr Pstrągowski

Comments: Fixed typos; several minor corrections and updates; 114 pages

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

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

Title: Zig-Zag Modules: Cosheaves and K-Theory

Ryan E. Grady, Anna Schenfisch

Comments: v4: final, section 4 rewritten to included pointed set valued cosheaves

Journal-ref: Homology, Homotopy, and Applications, Vol 25, no 2 (2023)

Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG); Category Theory (math.CT)

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

Title: Combinatorial model categories are equivalent to presentable quasicategories

Dmitri Pavlov

Comments: 35 pages. Comments and questions are welcome. v2: Minor corrections and improvements. v3: Identical to the journal version except for formatting and style

Journal-ref: Journal of Pure and Applied Algebra 229:2 (2025), 107860, 1-39

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

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

Title: Quantitative Equality in Substructural Logic via Lipschitz Doctrines

Francesco Dagnino, Fabio Pasquali

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 1 (January 28, 2025) lmcs:10396

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

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

Title: Free Commutative Monoids in Homotopy Type Theory

Vikraman Choudhury, Marcelo Fiore

Comments: Appeared in MFPS'22

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10492

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

[35] arXiv:2110.05898 (cross-list from math.KT) [pdf, other]

Title: Killing weights from the perspective of t-structures

Mikhail V. Bondarko, Sergei V. Vostokov

Comments: Several minor corrections made

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

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

Title: Recollements and stratification

Jay Shah

Comments: Revision and expansion of sections 1 and 2 of arXiv:1909.03920. 47 pages. v2: minor changes

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

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

Title: Flat relative Mittag-Leffler modules and approximations

Asmae Ben Yassine, Jan Trlifaj

Comments: 9 pages

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

[38] arXiv:2110.06793 (cross-list from math-ph) [pdf, other]

Title: Topos-Theoretic Approaches to Quantum Theory

Matthijs Vákár

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

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

Title: String structures, 2-group bundles, and a categorification of the Freed-Quinn line bundle

Daniel Berwick-Evans, Emily Cliff, Laura Murray, Apurva Nakade, Emma Phillips

Comments: 28 pages

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

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

Title: Non-existing and ill-behaved coequalizers of locally ordered spaces

Pierre-Yves Coursolle, Emmanuel Haucourt

Comments: 21 pages

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

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

Title: Lattices of t-structures and thick subcategories for discrete cluster categories

Sira Gratz, Alexandra Zvonareva

Comments: 21 pages, comments welcome

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

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

Title: Nakayama functors for coalgebras and their applications to Frobenius tensor categories

Taiki Shibata (Okayama University of Science), Kenichi Shimizu (Shibaura Institute of Technology)

Comments: 48 pages, final version to appear in Advances in Mathematics

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

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

Title: Normal subgroups and relative centers of linearly reductive quantum groups

Alexandru Chirvasitu

Comments: 14 pages + references

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

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

Title: Comonadic semantics for hybrid logic and bounded fragments

Samson Abramsky, Dan Marsden

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

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

Title: The six operations in topology

Marco Volpe

Comments: 59 pages

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

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

Title: Homological Projective Duality for the Plücker embedding of the Grassmannian

Bradley Doyle

Comments: 44 pages, 4 figures

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

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

Title: Fuzzy Algebraic Theories

Davide Castelnovo, Marino Miculan

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

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

Title: On Gromov-Yomdin type theorems and a categorical interpretation of holomorphicity

Federico Barbacovi, Jongmyeong Kim

Comments: 37 pages. Comments are welcome

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

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

Title: Closure properties of $\varinjlim\mathcal C$

Leonid Positselski, Pavel Prihoda, Jan Trlifaj

Comments: 59 pages; v.2: a new author joined, major improvements and additions in Sections 5 and 6, new Section 8 inserted, related changes in the final section; v.3: small improvements, misprints corrected

Journal-ref: Journ. of Algebra 606 (2022), p.30-103

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

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

Title: NSOP$_1$-like independence in AECats

Mark Kamsma

Comments: 31 pages

Journal-ref: J. symb. log. 89 (2024) 724-757

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