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
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
A Parameterized Algorithm for Testing whether the Limit of a Diagram...
arXiv:2605.24240
A Category-theoretic Reconstruction of Logical Expressivism
arXiv:2605.24796
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
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