Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.01849 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Unitary, Inner product, and Dagger categories
by: Cockett, Robin, et al.
Published: (2026)
by: Cockett, Robin, et al.
Published: (2026)
Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
by: Sukhov, Dmytro
Published: (2025)
by: Sukhov, Dmytro
Published: (2025)
Drazin Inverses in Categories
by: Cockett, Robin, et al.
Published: (2024)
by: Cockett, Robin, et al.
Published: (2024)
A Compositional Account of Generalized Reversible Computing
by: Chanavat, Clémence, et al.
Published: (2025)
by: Chanavat, Clémence, et al.
Published: (2025)
Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)
by: Roberts, David Michael
Published: (2021)
Varieties of quantitative algebras as categories
by: Adamek, Jiri
Published: (2024)
by: Adamek, Jiri
Published: (2024)
Definable functors between triangulated categories
by: Bird, Isaac, et al.
Published: (2023)
by: Bird, Isaac, et al.
Published: (2023)
Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
Published: (2023)
by: Lemay, Jean-Simon Pacaud
Published: (2023)
On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Geometry and Dress groups with non-symmetric cost functions
by: Barth, Lukas Silvester, et al.
Published: (2025)
by: Barth, Lukas Silvester, et al.
Published: (2025)
The tensor triangular geometry of fully faithful functors
by: Sanders, Beren
Published: (2025)
by: Sanders, Beren
Published: (2025)
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)
by: Laretto, Andrea, et al.
Published: (2024)
Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)
by: Berry, David G., et al.
Published: (2025)
Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)
by: Lobski, Leo, et al.
Published: (2026)
Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)
by: Trotta, Davide, et al.
Published: (2024)
The local-to-global principle via topological properties of the tensor triangular support
by: Bellumat, Nicola
Published: (2024)
by: Bellumat, Nicola
Published: (2024)
Interactions that reshape the interfaces of the interacting parties
by: Spivak, David I.
Published: (2026)
by: Spivak, David I.
Published: (2026)
Transfer of homological objects in exact categories via adjoint triples. Applications to functor categories
by: Estrada, Sergio, et al.
Published: (2024)
by: Estrada, Sergio, et al.
Published: (2024)
$\mathbb{P}^n$-functors
by: Anno, Rina, et al.
Published: (2019)
by: Anno, Rina, et al.
Published: (2019)
Pullbacks in tangent categories and tangent display maps
by: Cruttwell, Geoffrey, et al.
Published: (2025)
by: Cruttwell, Geoffrey, et al.
Published: (2025)
Local categories: a new framework for partiality
by: Lanfranchi, Marcello, et al.
Published: (2025)
by: Lanfranchi, Marcello, et al.
Published: (2025)
Universal support for triangulated categories
by: Balmer, Paul, et al.
Published: (2023)
by: Balmer, Paul, et al.
Published: (2023)
Neural category
by: Gupta, Neha, et al.
Published: (2024)
by: Gupta, Neha, et al.
Published: (2024)
Sewing lemma and knitting lemma for metric spaces
by: Curry, Charles H. A., et al.
Published: (2025)
by: Curry, Charles H. A., et al.
Published: (2025)
A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
by: Tang, Jian-Gang
Published: (2025)
by: Tang, Jian-Gang
Published: (2025)
Condensed Sets via free resolutions
by: Banús, Damià Rodríguez, et al.
Published: (2022)
by: Banús, Damià Rodríguez, et al.
Published: (2022)
Pre-Hilbert $*$-categories: The Hilbert-space analogue of abelian categories
by: Di Meglio, Matthew
Published: (2023)
by: Di Meglio, Matthew
Published: (2023)
Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)
by: Williams, Mark Damuni
Published: (2025)
Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)
by: Ikeda, Yuto
Published: (2026)
Conservative geometric functors via purity
by: Castellana, Natàlia, et al.
Published: (2026)
by: Castellana, Natàlia, et al.
Published: (2026)
Koszul resolution for linear monoidal functors
by: Bouc, Serge, et al.
Published: (2025)
by: Bouc, Serge, et al.
Published: (2025)
Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)
by: Ye, Lingyuan
Published: (2024)
Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)
by: Baldan, Paolo, et al.
Published: (2024)
The bounded ideal monad on the category of quasi-metric spaces and its algebras
by: Wang, Kai, et al.
Published: (2024)
by: Wang, Kai, et al.
Published: (2024)