What kind of linearly distributive category do polynomial functors form?
Fuente:
arXiv
Salvato in:
| Autori principali: | Spivak, David I., Srinivasan, Priyaa Varshinee |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Unitary, Inner product, and Dagger categories
di: Cockett, Robin, et al.
Pubblicazione: (2026)
di: Cockett, Robin, et al.
Pubblicazione: (2026)
Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
di: Sukhov, Dmytro
Pubblicazione: (2025)
di: Sukhov, Dmytro
Pubblicazione: (2025)
A Compositional Account of Generalized Reversible Computing
di: Chanavat, Clémence, et al.
Pubblicazione: (2025)
di: Chanavat, Clémence, et al.
Pubblicazione: (2025)
Drazin Inverses in Categories
di: Cockett, Robin, et al.
Pubblicazione: (2024)
di: Cockett, Robin, et al.
Pubblicazione: (2024)
Varieties of quantitative algebras as categories
di: Adamek, Jiri
Pubblicazione: (2024)
di: Adamek, Jiri
Pubblicazione: (2024)
Substructural fixed-point theorems and the diagonal argument: theme and variations
di: Roberts, David Michael
Pubblicazione: (2021)
di: Roberts, David Michael
Pubblicazione: (2021)
The local-to-global principle via topological properties of the tensor triangular support
di: Bellumat, Nicola
Pubblicazione: (2024)
di: Bellumat, Nicola
Pubblicazione: (2024)
Cartesian Differential Kleisli Categories
di: Lemay, Jean-Simon Pacaud
Pubblicazione: (2023)
di: Lemay, Jean-Simon Pacaud
Pubblicazione: (2023)
Definable functors between triangulated categories
di: Bird, Isaac, et al.
Pubblicazione: (2023)
di: Bird, Isaac, et al.
Pubblicazione: (2023)
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
di: Laretto, Andrea, et al.
Pubblicazione: (2024)
di: Laretto, Andrea, et al.
Pubblicazione: (2024)
Layered Monoidal Theories II: Fibrational Semantics
di: Lobski, Leo, et al.
Pubblicazione: (2026)
di: Lobski, Leo, et al.
Pubblicazione: (2026)
The tensor triangular geometry of fully faithful functors
di: Sanders, Beren
Pubblicazione: (2025)
di: Sanders, Beren
Pubblicazione: (2025)
Skolem, Gödel, and Hilbert fibrations
di: Trotta, Davide, et al.
Pubblicazione: (2024)
di: Trotta, Davide, et al.
Pubblicazione: (2024)
Geometry and Dress groups with non-symmetric cost functions
di: Barth, Lukas Silvester, et al.
Pubblicazione: (2025)
di: Barth, Lukas Silvester, et al.
Pubblicazione: (2025)
On a fibrational construction for optics, lenses, and Dialectica categories
di: Capucci, Matteo, et al.
Pubblicazione: (2024)
di: Capucci, Matteo, et al.
Pubblicazione: (2024)
Formal P-Category Theory and Normalization by Evaluation in Rocq
di: Berry, David G., et al.
Pubblicazione: (2025)
di: Berry, David G., et al.
Pubblicazione: (2025)
Transfer of homological objects in exact categories via adjoint triples. Applications to functor categories
di: Estrada, Sergio, et al.
Pubblicazione: (2024)
di: Estrada, Sergio, et al.
Pubblicazione: (2024)
Local categories: a new framework for partiality
di: Lanfranchi, Marcello, et al.
Pubblicazione: (2025)
di: Lanfranchi, Marcello, et al.
Pubblicazione: (2025)
Interactions that reshape the interfaces of the interacting parties
di: Spivak, David I.
Pubblicazione: (2026)
di: Spivak, David I.
Pubblicazione: (2026)
Pullbacks in tangent categories and tangent display maps
di: Cruttwell, Geoffrey, et al.
Pubblicazione: (2025)
di: Cruttwell, Geoffrey, et al.
Pubblicazione: (2025)
Condensed Sets via free resolutions
di: Banús, Damià Rodríguez, et al.
Pubblicazione: (2022)
di: Banús, Damià Rodríguez, et al.
Pubblicazione: (2022)
$\mathbb{P}^n$-functors
di: Anno, Rina, et al.
Pubblicazione: (2019)
di: Anno, Rina, et al.
Pubblicazione: (2019)
Neural category
di: Gupta, Neha, et al.
Pubblicazione: (2024)
di: Gupta, Neha, et al.
Pubblicazione: (2024)
Universal support for triangulated categories
di: Balmer, Paul, et al.
Pubblicazione: (2023)
di: Balmer, Paul, et al.
Pubblicazione: (2023)
The bounded ideal monad on the category of quasi-metric spaces and its algebras
di: Wang, Kai, et al.
Pubblicazione: (2024)
di: Wang, Kai, et al.
Pubblicazione: (2024)
Stack Representation of Finitely Presented Heyting Pretoposes I
di: Ye, Lingyuan
Pubblicazione: (2024)
di: Ye, Lingyuan
Pubblicazione: (2024)
Left-Linear Rewriting in Adhesive Categories
di: Baldan, Paolo, et al.
Pubblicazione: (2024)
di: Baldan, Paolo, et al.
Pubblicazione: (2024)
Pre-Hilbert $*$-categories: The Hilbert-space analogue of abelian categories
di: Di Meglio, Matthew
Pubblicazione: (2023)
di: Di Meglio, Matthew
Pubblicazione: (2023)
Sewing lemma and knitting lemma for metric spaces
di: Curry, Charles H. A., et al.
Pubblicazione: (2025)
di: Curry, Charles H. A., et al.
Pubblicazione: (2025)
On combinatorial aspects of fat Delta
di: Pradal, Stiéphen
Pubblicazione: (2025)
di: Pradal, Stiéphen
Pubblicazione: (2025)
Projective Presentations of Lex Modalities
di: Williams, Mark Damuni
Pubblicazione: (2025)
di: Williams, Mark Damuni
Pubblicazione: (2025)
Internal sums for synthetic fibered $(\infty,1)$-categories
di: Weinberger, Jonathan
Pubblicazione: (2022)
di: Weinberger, Jonathan
Pubblicazione: (2022)
Koszul resolution for linear monoidal functors
di: Bouc, Serge, et al.
Pubblicazione: (2025)
di: Bouc, Serge, et al.
Pubblicazione: (2025)
Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)
di: Ikeda, Yuto
Pubblicazione: (2026)
Gluing Data categories and gluing data functors
di: Marques, Sophie, et al.
Pubblicazione: (2023)
di: Marques, Sophie, et al.
Pubblicazione: (2023)
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
di: Weinberger, Jonathan
Pubblicazione: (2022)
di: Weinberger, Jonathan
Pubblicazione: (2022)
Conservative geometric functors via purity
di: Castellana, Natàlia, et al.
Pubblicazione: (2026)
di: Castellana, Natàlia, et al.
Pubblicazione: (2026)
Alpay Algebra: A Universal Structural Foundation
di: Alpay, Faruk
Pubblicazione: (2025)
di: Alpay, Faruk
Pubblicazione: (2025)
The Euler Characteristic of Finite Categories
di: Akkaya, Mustafa, et al.
Pubblicazione: (2023)
di: Akkaya, Mustafa, et al.
Pubblicazione: (2023)
Layered Monoidal Theories
di: Lobski, Leo
Pubblicazione: (2025)
di: Lobski, Leo
Pubblicazione: (2025)
Documenti analoghi
-
Unitary, Inner product, and Dagger categories
di: Cockett, Robin, et al.
Pubblicazione: (2026) -
Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
di: Sukhov, Dmytro
Pubblicazione: (2025) -
A Compositional Account of Generalized Reversible Computing
di: Chanavat, Clémence, et al.
Pubblicazione: (2025) -
Drazin Inverses in Categories
di: Cockett, Robin, et al.
Pubblicazione: (2024) -
Varieties of quantitative algebras as categories
di: Adamek, Jiri
Pubblicazione: (2024)