Category Theory Papers

New Category Theory papers from enriched categories, topoi. Thank you to arXiv for use of its open access interoperability.

[Category Theory Papers @CategoryPapers]

Beth companions of finitary essentially algebraic theories

Ivan Di Liberti, Luca Reggio
https://t.co/4XN7SEmxXG [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙻𝙾 𝚖𝚊𝚝𝚑.𝚁𝙰]

[Category Theory Papers @CategoryPapers]

Stratification of Artin motives over local fields

Peng Xu
https://t.co/mll1hguiRd [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙰𝙶]

[Category Theory Papers @CategoryPapers]

Another counterexample to the Nerves of Steel Conjecture

Kevin Coulembier
https://t.co/dhK9v7kcIx [𝚖𝚊𝚝𝚑.𝙲𝚃]

[Category Theory Papers @CategoryPapers]

Override and Update in Restriction Categories

Jean-Simon Pacaud Lemay, Chad Nester
https://t.co/LsBawLpG67 [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚌𝚜.𝙻𝙾]

[Category Theory Papers @CategoryPapers]

The Lie group-Lie algebra correspondence in tangent categories

Marcello Lanfranchi
https://t.co/jj0StQCaad [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙰𝙶 𝚖𝚊𝚝𝚑.𝙳𝙶]

[Category Theory Papers @CategoryPapers]

(2-dep,Σ)-categories are not generalised categories with families

Luis Gambarte
https://t.co/E4dWGzYmv7 [𝚖𝚊𝚝𝚑.𝙲𝚃]

[Category Theory Papers @CategoryPapers]

An adjunction of the categories of sheaves related to a topology and a diffeology

Masai Noda
https://t.co/JxDkq3S37Z [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙳𝙶]

[Category Theory Papers @CategoryPapers]

A note on coextensivity of bounded hoops

Michael Hoefnagel, Giuseppe Metere, Danielle Kleyn
https://t.co/0K0ObDC6me [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙻𝙾]

[Category Theory Papers @CategoryPapers]

Models for dagger (∞,1)-categories I: Dagger simplicial sets and unitary cores

Keima Akasaka
https://t.co/HPy2rMoqyX [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑-𝚙𝚑 𝚖𝚊𝚝𝚑.𝙰𝚃]

[Category Theory Papers @CategoryPapers]

The (∞,∞)-category of spans

Jonte Gödicke, Quoc P. Ho, Walker H. Stern
https://t.co/tmuroX5pEm [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙰𝙶 𝚖𝚊𝚝𝚑.𝙰𝚃]

[Category Theory Papers @CategoryPapers]

Factorization Systems on ∞-Categories: Un/Straightening and Monadicity

Thorger Geiß
https://t.co/jG1gtqaePg [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙰𝚃]

[Category Theory Papers @CategoryPapers]

A categorical model structure for generalized algebraic theories

Daniel Almeida
https://t.co/JrdRxXLIAJ [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙻𝙾]

[Category Theory Papers @CategoryPapers]

Failure of Higher-Order Truth within Intuitionistic Propositional Logic

Lingyuan Ye, Yiqi Xu
https://t.co/VnjgDsGxyI [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙻𝙾]

[Category Theory Papers @CategoryPapers]

Finitistic dimensions in triangulated categories with a compact silting generator

Xiaoyan Yang
https://t.co/3bqPGqJESP [𝚖𝚊𝚝𝚑.𝙲𝚃]

[Category Theory Papers @CategoryPapers]

De Morgan's Laws in Tensor-Triangular Geometry

Mark Lyttle
https://t.co/mo6ztZ5eUj [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙰𝙲]

[Category Theory Papers @CategoryPapers]

Absolute colimits

Richard Garner, Ross Street
https://t.co/1eRFAL28YQ [𝚖𝚊𝚝𝚑.𝙲𝚃]

[Category Theory Papers @CategoryPapers]

A Categorical Framework for the Direct Integration of Banach Spaces

Daniel Funck, Giacomo Gavelli
https://t.co/lkNo4dOeyM [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙵𝙰 𝚖𝚊𝚝𝚑.𝙽𝚃]

[Category Theory Papers @CategoryPapers]

The Cofree Functor on G-Sets and Its Approximations

Frank Murphy-Hernandez
https://t.co/fQYxDDQqRp [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝙶𝚁]

[Category Theory Papers @CategoryPapers]

Torsion and exactness

Marino Gran, George Janelidze
https://t.co/k7AQStn9Ub [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚖𝚊𝚝𝚑.𝚁𝙰]

[Category Theory Papers @CategoryPapers]

Effective quasi-Polish categories of overt discrete spaces and compact Hausdorff spaces

Matthew de Brecht
https://t.co/A218ulLPir [𝚖𝚊𝚝𝚑.𝙲𝚃 𝚌𝚜.𝙻𝙾 𝚖𝚊𝚝𝚑.𝙻𝙾]