We gratefully acknowledge support from
the Simons Foundation and member institutions.

Category Theory

Authors and titles for recent submissions

[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 2 Dec 2021

[1]  arXiv:2112.00211 [pdf, ps, other]
Title: Filters and compactness on small categories and locales
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
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
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
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
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
Comments: 15 pages
Subjects: Category Theory (math.CT)
[10]  arXiv:2111.14495 [pdf, other]
Title: Limits and colimits in internal higher category theory
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
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
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
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
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
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)
[ total of 19 entries: 1-19 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2111, contact, help  (Access key information)