arXiv math.CT Category Theory

Unofficial bot by @vela with @mathACb @mathAGb @mathAPb @mathATb @mathCAbot @mathCObot @mathCVb @mathDGb @mathDSb @mathFAbot ...

[arXiv math.CT Category Theory @mathCTbot]

Groupoidal polygraphic homology
arXiv:2609.29967

[arXiv math.CT Category Theory @mathCTbot]

Conservative functors to pointed categories
arXiv:2609.27056

Formal weakly enriched category theory
arXiv:2609.28435

[arXiv math.CT Category Theory @mathCTbot]

Sample-Smooth Spaces: A Convenient Category for Differentiable Proba...
arXiv:2609.26270

[arXiv math.CT Category Theory @mathCTbot]

Observations on the variety of equationally linear Heyting semilattices
arXiv:2609.24325

[arXiv math.CT Category Theory @mathCTbot]

A non-spatial frame of smashing ideals
arXiv:2609.22371

The category of nominal sets is locally monoidal closed
arXiv:2609.22551

From 3-crossed modules to Gray-type 4-categories
arXiv:2609.24034

[arXiv math.CT Category Theory @mathCTbot]

Cocompactness and Presentability
arXiv:2609.20533

[arXiv math.CT Category Theory @mathCTbot]

Gabriel--Zisman Localizations, Products, Coproducts, and Product Cat...
arXiv:2609.18617

[arXiv math.CT Category Theory @mathCTbot]

Vector fields, initial scaffolds and database reduction
arXiv:2609.16221

On Models of the Planar Lambda Calculus
arXiv:2609.16798

An abelian envelope without the quotient property
arXiv:2609.17467

[arXiv math.CT Category Theory @mathCTbot]

Grothendieck Topologies Are Extensional Presentations of the Form of...
arXiv:2609.14671

Mixing Extriangulated Model Structures
arXiv:2609.15653

[arXiv math.CT Category Theory @mathCTbot]

The Grouplike Functor and Monoidal Adjunctions
arXiv:2609.14163

Characterizing (Co)Free Dagger Categories
arXiv:2609.14285

A Counterexample to the Open Question on Object Ideals
arXiv:2609.14382

[arXiv math.CT Category Theory @mathCTbot]

Compatibility of HRS tilt and completion of t-structures in triangul...
arXiv:2609.13699

Bicategorical Idempotent Completion
arXiv:2609.13788

Concept lattices of Q-relations via diagonal and back-diagonal categ...
arXiv:2609.13809

[arXiv math.CT Category Theory @mathCTbot]

Joinings in Markov categories
arXiv:2609.10912

A model structure for cartesian 2-fibrations
arXiv:2609.11759

[arXiv math.CT Category Theory @mathCTbot]

A Natural Fuzzy Order on Fuzzy Numbers
arXiv:2609.09811

Noetherian forms of free non-symmetric operads
arXiv:2609.10501

[arXiv math.CT Category Theory @mathCTbot]

Cotorsion pairs and model structures induced by resolution dimension...
arXiv:2609.07522

Crossed-module crossed braided categories
arXiv:2609.07626

On pushouts of strict symmetric monoidal categories
arXiv:2609.08764

[arXiv math.CT Category Theory @mathCTbot]

Exactness of the 2-categories of abelian and triangulated categories
arXiv:2609.06278

A two-categorical Snake Lemma
arXiv:2609.06428

Models for dagger (\infty,1)-categories II: Dagger complete Segal sp...
arXiv:2609.06935

[arXiv math.CT Category Theory @mathCTbot]

Cartesian closedness of the category of real-valued sets, II
arXiv:2609.05929

Cartan calculus of cubical forms in tangent categories
arXiv:2609.05963

A new characterization of arithmetical categories and Pixley's theorem
arXiv:2609.06248

[arXiv math.CT Category Theory @mathCTbot]

Algebra of spectral duality structures
arXiv:2609.04430

From Matrices to Morphisms II: Examples of Computational Categories ...
arXiv:2609.04982

[arXiv math.CT Category Theory @mathCTbot]

Stratification of Artin motives over local fields
arXiv:2609.03514

Beth companions of finitary essentially algebraic theories
arXiv:2609.03601

[arXiv math.CT Category Theory @mathCTbot]

The Lie group-Lie algebra correspondence in tangent categories
arXiv:2609.03449

Override and Update in Restriction Categories
arXiv:2609.03472

Another counterexample to the Nerves of Steel Conjecture
arXiv:2609.03489

[arXiv math.CT Category Theory @mathCTbot]

(2-dep,\Sigma)-categories are not generalised categories with families
arXiv:2609.01869