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]

A Remark on Static Animations
arXiv:2608.04526

Three results on extension dimensions of syzygy module categories
arXiv:2608.04747

[arXiv math.CT Category Theory @mathCTbot]

Extended heart construction (I): The heart of n-cotorsion pairs on t...
arXiv:2608.03212

[arXiv math.CT Category Theory @mathCTbot]

Tensor products, internal homs, and model structures in two dimensio...
arXiv:2608.02277

Rewriting and presentations of quasicategories
arXiv:2608.02529

[arXiv math.CT Category Theory @mathCTbot]

Internal Algebraic Type Theory
arXiv:2608.00095

Quantification in Double-Categorical Database Schemas
arXiv:2608.00913

Projective covers, doctrines of algebras and the relational quotient...
arXiv:2608.01915

[arXiv math.CT Category Theory @mathCTbot]

A topological proof that compact Hausdorff spaces are not finitely c...
arXiv:2607.29103

[arXiv math.CT Category Theory @mathCTbot]

\mathsf{SKB} is not algebraically coherent
arXiv:2607.28380

Algebraic coherators, controlled theories, and Grothendieck realizat...
arXiv:2607.28540

Set-theoretic universes and paradoxes in 2-topoi
arXiv:2607.28584

[arXiv math.CT Category Theory @mathCTbot]

From Grothendieck cofibrations to factorization systems: a formal 2-...
arXiv:2607.27541

Gabi-Monads
arXiv:2607.27846

Homotopy limits of complexes
arXiv:2607.28117

[arXiv math.CT Category Theory @mathCTbot]

Nonunital Operator Systems as Modules in Enriched Category Theory
arXiv:2607.26737

Possibilistic operators in Formal Concept Analysis as Kan extensions
arXiv:2607.26776

[arXiv math.CT Category Theory @mathCTbot]

Protomodularity of cocommutative Hopf monoids in duoidal categories ...
arXiv:2607.25512

Categories of tagged lenses
arXiv:2607.25706

Lax Distributivity and a Characterization of Abelian Categories
arXiv:2607.25740

[arXiv math.CT Category Theory @mathCTbot]

The Burnside ring of simple \mathcal{C}-sets
arXiv:2607.25036

Hyperstructures as complete atomic Boolean algebras
arXiv:2607.25165

The category of necklaces is a test category
arXiv:2607.25399

[arXiv math.CT Category Theory @mathCTbot]

A Grothendieck category with a noetherian generator and exact produc...
arXiv:2607.23520

Guarded Realization Semantics: Occurrence-Sensitive Certificates and...
arXiv:2607.23567

Controlled theories, categorification, and homotopification
arXiv:2607.24716

[arXiv math.CT Category Theory @mathCTbot]

The factorization system of a radical on a homological category
arXiv:2607.23105

Categorical Algebra of Atomic Monoids: Presentability, Regularity, a...
arXiv:2607.23144

Directed Homotopy, Sectional Invariants, and Functorial Databases
arXiv:2607.23228

[arXiv math.CT Category Theory @mathCTbot]

Quotients of mosaics and related hyperstructures
arXiv:2607.21844

[arXiv math.CT Category Theory @mathCTbot]

Twisted Deligne products of semisimple tensor categories
arXiv:2607.19560

A Syntactic Approach to Ulmer's Bialgebras
arXiv:2607.19587

Some categorical remarks on coarse subspaces of coarse spaces
arXiv:2607.19846

[arXiv math.CT Category Theory @mathCTbot]

On dualizability and invertibility in the higher Morita category
arXiv:2607.16953

Dynamical Systems as Functorial Realisations of Abstract Evolution S...
arXiv:2607.17455

Kaluzhnin--Krasner embedding of precrossed modules
arXiv:2607.18131

[arXiv math.CT Category Theory @mathCTbot]

The Telescope Conjecture for Global Representations and FI-modules
arXiv:2607.15586

[arXiv math.CT Category Theory @mathCTbot]

Comonads as spaces
arXiv:2607.15091

[arXiv math.CT Category Theory @mathCTbot]

What are symmetric monoidal categories?
arXiv:2607.13912

The internal Yoneda Lemma for locally Cartesian closed \infty-catego...
arXiv:2607.14016

[arXiv math.CT Category Theory @mathCTbot]

Clifford semigroups and the monoidal Grothendieck construction
arXiv:2607.12944

[arXiv math.CT Category Theory @mathCTbot]

Exchange theorems and coherent duality in six functors
arXiv:2607.12123

Symmetric 2-rigs: coexponentiability and cartesian closure
arXiv:2607.12683

Operadic 2-rigs
arXiv:2607.12705