Joined March 2013
Photos and videos
Categorical Hopf map arXiv:2606.12482
4
232
A higher-order Eckmann-Hilton argument arXiv:2606.12357
6
458
Colocalizing subcategories on differentially graded algebras arXiv:2606.09398 The Degeneracy of the Centre Comonad Model and the Precomposition Ob... arXiv:2606.09467 Actions, semidirect products and crossed semimodules in the category... arXiv:2606.09796
212
Ehresmann connections in tangent categories arXiv:2606.07037
1
5
382
A Universal Theory of Spectral Propagation for Compositional Operato... arXiv:2606.05524 Planar higher-rank trees have rank at most four arXiv:2606.05727
1
3
229
Weight filtrations via slopes arXiv:2606.02944 A convenient model category for bicategories arXiv:2606.03200
1
220
A monoidal category of dependently sorted algebraic theories II: cat... arXiv:2606.00952 A classifying localic category for locally compact locales arXiv:2606.02025 A Cohesive \infty-Topos with a Quantum Modality from Finite-Dimensio... arXiv:2606.02269
2
248
Action accessibility in the variety of skew braces arXiv:2605.30097 Semi-Bousfield classes and nonmonotone perversities arXiv:2605.30262
2
229
Categories of bundles and categories of chains arXiv:2605.28107
1
6
621
On the category of semi-graded modules arXiv:2605.26374 Canonical Extensions of Quantale-Enriched Categories arXiv:2605.26809 Residual regularity in tensor triangular geometry arXiv:2605.27244
1
250
A Parameterized Algorithm for Testing whether the Limit of a Diagram... arXiv:2605.24240 A Category-theoretic Reconstruction of Logical Expressivism arXiv:2605.24796
1
7
426
Duality theory for categorical theories arXiv:2605.22071
5
18
1,854
Generic bundles over a localic category arXiv:2605.20407 Exponentiable Virtual Double Categories and Representability of Expo... arXiv:2605.20586 Combinatorial manifolds and Kleene's theorem, homotopically arXiv:2605.21142
4
285
Tensor triangular geometry -- Notes for an Oberwolfach Seminar arXiv:2605.19983
1
14
1,198
Enriched categories, real metrics and Lorentz manifolds arXiv:2605.18088 Weak and Strong Fibrations of Functors arXiv:2605.18650
1
4
353
Sphericalization and the Universal Spherical Adjunction arXiv:2605.15037
1
1
340
A Rigid Category of DNA Secondary Structures arXiv:2605.12740
1
7
479
Yoshida algebra for groupoids arXiv:2605.09563
1
4
309
The singularity category of a separable extension arXiv:2605.08868 A categorical description of simple Beth companions arXiv:2605.09141 Parity complexes redux arXiv:2605.09427
4
4
437
Enhanced $2$-categories of models of sketches as enhanced $2$-catego... arXiv:2605.04516
1
3
236