:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Spivak, David I., Srinivasan, Priyaa Varshinee
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory 18B99 F.4.1
Online-Zugang:	https://arxiv.org/abs/2407.01849
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Unitary, Inner product, and Dagger categories
von: Cockett, Robin, et al.
Veröffentlicht: (2026)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
von: Sukhov, Dmytro
Veröffentlicht: (2025)

Drazin Inverses in Categories
von: Cockett, Robin, et al.
Veröffentlicht: (2024)

A Compositional Account of Generalized Reversible Computing
von: Chanavat, Clémence, et al.
Veröffentlicht: (2025)

Substructural fixed-point theorems and the diagonal argument: theme and variations
von: Roberts, David Michael
Veröffentlicht: (2021)

Varieties of quantitative algebras as categories
von: Adamek, Jiri
Veröffentlicht: (2024)

Definable functors between triangulated categories
von: Bird, Isaac, et al.
Veröffentlicht: (2023)

Cartesian Differential Kleisli Categories
von: Lemay, Jean-Simon Pacaud
Veröffentlicht: (2023)

On a fibrational construction for optics, lenses, and Dialectica categories
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

Geometry and Dress groups with non-symmetric cost functions
von: Barth, Lukas Silvester, et al.
Veröffentlicht: (2025)

The tensor triangular geometry of fully faithful functors
von: Sanders, Beren
Veröffentlicht: (2025)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
von: Laretto, Andrea, et al.
Veröffentlicht: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
von: Berry, David G., et al.
Veröffentlicht: (2025)

Layered Monoidal Theories II: Fibrational Semantics
von: Lobski, Leo, et al.
Veröffentlicht: (2026)

Skolem, Gödel, and Hilbert fibrations
von: Trotta, Davide, et al.
Veröffentlicht: (2024)

The local-to-global principle via topological properties of the tensor triangular support
von: Bellumat, Nicola
Veröffentlicht: (2024)

Interactions that reshape the interfaces of the interacting parties
von: Spivak, David I.
Veröffentlicht: (2026)

Transfer of homological objects in exact categories via adjoint triples. Applications to functor categories
von: Estrada, Sergio, et al.
Veröffentlicht: (2024)

$\mathbb{P}^n$-functors
von: Anno, Rina, et al.
Veröffentlicht: (2019)

Pullbacks in tangent categories and tangent display maps
von: Cruttwell, Geoffrey, et al.
Veröffentlicht: (2025)

Local categories: a new framework for partiality
von: Lanfranchi, Marcello, et al.
Veröffentlicht: (2025)

Universal support for triangulated categories
von: Balmer, Paul, et al.
Veröffentlicht: (2023)

Neural category
von: Gupta, Neha, et al.
Veröffentlicht: (2024)

Sewing lemma and knitting lemma for metric spaces
von: Curry, Charles H. A., et al.
Veröffentlicht: (2025)

A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
von: Tang, Jian-Gang
Veröffentlicht: (2025)

Condensed Sets via free resolutions
von: Banús, Damià Rodríguez, et al.
Veröffentlicht: (2022)

Pre-Hilbert $*$-categories: The Hilbert-space analogue of abelian categories
von: Di Meglio, Matthew
Veröffentlicht: (2023)

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Projective Presentations of Lex Modalities
von: Williams, Mark Damuni
Veröffentlicht: (2025)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

Conservative geometric functors via purity
von: Castellana, Natàlia, et al.
Veröffentlicht: (2026)

Koszul resolution for linear monoidal functors
von: Bouc, Serge, et al.
Veröffentlicht: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
von: Ye, Lingyuan
Veröffentlicht: (2024)

Left-Linear Rewriting in Adhesive Categories
von: Baldan, Paolo, et al.
Veröffentlicht: (2024)

The bounded ideal monad on the category of quasi-metric spaces and its algebras
von: Wang, Kai, et al.
Veröffentlicht: (2024)

Layered Monoidal Theories
von: Lobski, Leo
Veröffentlicht: (2025)

Colocalizing subcategories of singularity categories
von: Verasdanis, Charalampos
Veröffentlicht: (2023)

Motives
von: Barbieri-Viale, L.
Veröffentlicht: (2024)

Universal Weil cohomology
von: Barbieri-Viale, L., et al.
Veröffentlicht: (2024)