Category Theory

Authors and titles for recent submissions

• Thu, 2 Dec 2021
• Wed, 1 Dec 2021
• Tue, 30 Nov 2021
• Mon, 29 Nov 2021
• Thu, 25 Nov 2021

Thu, 2 Dec 2021

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

Title: Filters and compactness on small categories and locales

Authors: Joaquín Luna-Torres

Comments: 20 pages. arXiv admin note: substantial text overlap with arXiv:1910.09423

Subjects: Category Theory (math.CT)

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

Title: The Three F's for Bicategories I: Localization by Fractions is Exact

Authors: P. Bustillo Vazquez, D. Pronk, M. Szyld

Subjects: Category Theory (math.CT)

[3]  arXiv:2112.00603 (cross-list from math.AG) [pdf, ps, other]

Title: LEF-groups and endomorphisms of symbolic varieties

Authors: Xuan Kien Phung

Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Dynamical Systems (math.DS); Group Theory (math.GR); Cellular Automata and Lattice Gases (nlin.CG)

[4]  arXiv:2112.00483 (cross-list from math.SG) [pdf, ps, other]

Title: Microlocal Projector for Complete Flow

Authors: Sheng-Fu Chiu

Comments: 18 pages, no figure

Subjects: Symplectic Geometry (math.SG); Category Theory (math.CT); Dynamical Systems (math.DS)

[5]  arXiv:2112.00341 (cross-list from math.GR) [pdf, ps, other]

Title: An extension of Glauberman's $ZJ$-theorem to fusion systems

Authors: Zhencai Shen, Baoyu Zhang

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

Wed, 1 Dec 2021

[6]  arXiv:2111.15299 (cross-list from math.LO) [pdf, ps, other]

Title: Quasi-toposes as elementary quotient completions

Authors: Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini

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

[7]  arXiv:2111.15225 (cross-list from q-bio.PE) [pdf, other]

Title: Brauer and partition diagram models for phylogenetic trees and forests

Authors: Andrew Francis, Peter D Jarvis

Comments: 22 pages, 15 figures

Subjects: Populations and Evolution (q-bio.PE); Combinatorics (math.CO); Category Theory (math.CT)

Tue, 30 Nov 2021

[8]  arXiv:2111.14796 [pdf, ps, other]

Title: Familial Monads as Higher Category Theories

Authors: Brandon Shapiro

Comments: 38 pages

Subjects: Category Theory (math.CT)

[9]  arXiv:2111.14656 [pdf, ps, other]

Title: Nilpotent Category of Abelian Category and Self-Adjoint Functors

Authors: Zhiwei Bai, Xiang Cao, Songtao Mao, Han Zhang, Yuehui Zhang

Comments: 15 pages

Subjects: Category Theory (math.CT)

[10]  arXiv:2111.14495 [pdf, other]

Title: Limits and colimits in internal higher category theory

Authors: Louis Martini, Sebastian Wolf

Comments: 72 pages

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

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

Title: Relative extriangulated categories arising from half exact functors

Authors: Arashi Sakai

Comments: 13 pages

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

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

Title: A category theory framework for Bayesian learning

Authors: Kotaro Kamiya, John Welliaveetil

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

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

Title: Category theory with examples in probability theory

Authors: Gabriel Granda, Miguel Flores

Comments: 29 pages, written by Gabriel Granda and reviewed by Miguel Flores

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

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

Title: The surface category and tropical curves

Authors: Jan Steinebrunner

Comments: 72 pages, 12 figures

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

[15]  arXiv:2111.14736 (cross-list from cs.LO) [pdf, ps, other]

Title: Formalization of dependent type theory: The example of CaTT

Authors: Thibaut Benjamin

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

[16]  arXiv:2111.14208 (cross-list from cs.LO) [pdf, ps, other]

Title: Monoidal weak omega-categories as models of a type theory

Authors: Thibaut Benjamin

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

Mon, 29 Nov 2021

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

Title: Actions and semi-direct products in categories of groups with action

Authors: Tamar Datuashvili, Tunçar Şahan

Comments: 12 pages, research paper, LaTeX2e, xypic

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

Thu, 25 Nov 2021

[18]  arXiv:2111.12508 [pdf, ps, other]

Title: Reflection on the enrichment of double categories

Authors: Flavien Breuvart

Comments: This version an extended but early draft : with hardly any references, explanations and discussions, lacking some definitions and examples, and, above all, without formal proofs. To be frank, some proofs have only be roughly checked on papers, and there may well be mistakes. A more definitive version should follow

Subjects: Category Theory (math.CT)

[19]  arXiv:2111.12117 [pdf, ps, other]

Title: Adjoining colimits

Authors: Andrew W. Macpherson

Comments: 52 pages. KEYWORDS: diagram, "pursuing stacks", "Theorem A", sketch, localisateur fondamental, localization, rectification, dense functor, cocompletion

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

• Thu, 2 Dec 2021
• Wed, 1 Dec 2021
• Tue, 30 Nov 2021
• Mon, 29 Nov 2021
• Thu, 25 Nov 2021