Salvato in:
| Autore principale: | Fiore, Marcelo |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2015
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/1506.06402 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
di: Fiore, Marcelo, et al.
Pubblicazione: (2025)
di: Fiore, Marcelo, et al.
Pubblicazione: (2025)
Fixpoint constructions in focused orthogonality models of linear logic
di: Fiore, Marcelo, et al.
Pubblicazione: (2023)
di: Fiore, Marcelo, et al.
Pubblicazione: (2023)
Stabilized profunctors and stable species of structures
di: Fiore, Marcelo, et al.
Pubblicazione: (2023)
di: Fiore, Marcelo, et al.
Pubblicazione: (2023)
Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)
di: Abramsky, Samson, et al.
Pubblicazione: (2021)
Combinatorial manifolds and Kleene's theorem, homotopically
di: Chamoun, Yorgo
Pubblicazione: (2026)
di: Chamoun, Yorgo
Pubblicazione: (2026)
Combinatory Completeness in Structured Multicategories
di: Kuzmin, Ivan, et al.
Pubblicazione: (2025)
di: Kuzmin, Ivan, et al.
Pubblicazione: (2025)
Composition and Coherence: The Syntax of Operator Networks
di: Chang, Shih-Yu
Pubblicazione: (2025)
di: Chang, Shih-Yu
Pubblicazione: (2025)
Hypercubes, $n$-groupoids, and mixtures
di: Epstein, Marcelo
Pubblicazione: (2024)
di: Epstein, Marcelo
Pubblicazione: (2024)
Axiomatic phylogenetics
di: Turaev, Vladimir
Pubblicazione: (2017)
di: Turaev, Vladimir
Pubblicazione: (2017)
A finite algebraic presentation of Lawvere theories in the object-classifier topos
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)
Logical Structure on Inverse Functor Categories
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)
Categorified Spectral Sheaves and Homotopical Invariants for Noncommuting Operators
di: Chang, Shih-Yu
Pubblicazione: (2026)
di: Chang, Shih-Yu
Pubblicazione: (2026)
HilbMult: A Banach-Enriched Multicategory for Operator Algebras
di: Chang, Shih-Yu
Pubblicazione: (2025)
di: Chang, Shih-Yu
Pubblicazione: (2025)
A Model of Type Theory in Groupoid Assemblies
di: Agwu, Anthony
Pubblicazione: (2025)
di: Agwu, Anthony
Pubblicazione: (2025)
The Category of Operator Spaces and Complete Contractions
di: Lindenhovius, Bert, et al.
Pubblicazione: (2024)
di: Lindenhovius, Bert, et al.
Pubblicazione: (2024)
An injective Model for Twisted Derived Categories and Curved Koszul Triality
di: Hoyer, Yannick, et al.
Pubblicazione: (2025)
di: Hoyer, Yannick, et al.
Pubblicazione: (2025)
Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence
di: Faridian, Hossein
Pubblicazione: (2024)
di: Faridian, Hossein
Pubblicazione: (2024)
Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)
di: Frey, Jonas
Pubblicazione: (2024)
Copy-composition for Probabilistic Graphical Models
di: Smithe, Toby St Clere
Pubblicazione: (2024)
di: Smithe, Toby St Clere
Pubblicazione: (2024)
Sheaves on a bicategory
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
Quotient Category of a Multiring Category
di: Zuo, Zhenbang, et al.
Pubblicazione: (2024)
di: Zuo, Zhenbang, et al.
Pubblicazione: (2024)
Integrate on a closed stratified surface
di: Wei, Xiao-Xue
Pubblicazione: (2024)
di: Wei, Xiao-Xue
Pubblicazione: (2024)
Torsion Theories in a Non-pointed Context
di: Cappelletti, Andrea, et al.
Pubblicazione: (2025)
di: Cappelletti, Andrea, et al.
Pubblicazione: (2025)
Towards a double operadic theory of systems
di: Libkind, Sophie, et al.
Pubblicazione: (2025)
di: Libkind, Sophie, et al.
Pubblicazione: (2025)
Quantitative Algebras and a Classification of Metric Monads
di: Adámek, J., et al.
Pubblicazione: (2022)
di: Adámek, J., et al.
Pubblicazione: (2022)
Representing the language of a topos as quotient of the category of spans
di: Golshani, M., et al.
Pubblicazione: (2022)
di: Golshani, M., et al.
Pubblicazione: (2022)
Polynomials in homotopy type theory as a Kleisli category
di: Harington, Elies, et al.
Pubblicazione: (2024)
di: Harington, Elies, et al.
Pubblicazione: (2024)
Lurie's Unstraightening as a weak biequivalence of $\infty$-cosmoses
di: Stenzel, Raffael
Pubblicazione: (2024)
di: Stenzel, Raffael
Pubblicazione: (2024)
Model structure from one hereditary complete cortorsion pair
di: Cui, Jian, et al.
Pubblicazione: (2024)
di: Cui, Jian, et al.
Pubblicazione: (2024)
An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis
di: Taylor, Johnathon
Pubblicazione: (2026)
di: Taylor, Johnathon
Pubblicazione: (2026)
On a (terminally connected, pro-etale) factorization of geometric morphisms
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras
di: Incer, Inigo
Pubblicazione: (2023)
di: Incer, Inigo
Pubblicazione: (2023)
Enriched Morita theory of monoids in a closed symmetric monoidal category
di: Lee, Jaehyeok, et al.
Pubblicazione: (2023)
di: Lee, Jaehyeok, et al.
Pubblicazione: (2023)
Lemme de Yoneda pour les foncteurs à valeurs monoidales
di: Kadhi, Fethi
Pubblicazione: (2024)
di: Kadhi, Fethi
Pubblicazione: (2024)
A correspondence between proximity homomorphisms and certain frame maps via a comonad
di: Razafindrakoto, Ando
Pubblicazione: (2024)
di: Razafindrakoto, Ando
Pubblicazione: (2024)
Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad
di: Libkind, Sophie, et al.
Pubblicazione: (2024)
di: Libkind, Sophie, et al.
Pubblicazione: (2024)
Condensed Sets and the Solovay Model
di: Bannister, Nathaniel, et al.
Pubblicazione: (2026)
di: Bannister, Nathaniel, et al.
Pubblicazione: (2026)
Model structure arising from one hereditary complete cotorsion pair on extriangulated categories
di: Hu, Jiangsheng, et al.
Pubblicazione: (2024)
di: Hu, Jiangsheng, et al.
Pubblicazione: (2024)
The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem
di: Rennie, Joseph
Pubblicazione: (2024)
di: Rennie, Joseph
Pubblicazione: (2024)
Continuous Quivers of Type A (IV) Continuous Mutation and Geometric Models of $\mathbf E$-clusters
di: Rock, Job
Pubblicazione: (2020)
di: Rock, Job
Pubblicazione: (2020)
Documenti analoghi
-
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
di: Fiore, Marcelo, et al.
Pubblicazione: (2025) -
Fixpoint constructions in focused orthogonality models of linear logic
di: Fiore, Marcelo, et al.
Pubblicazione: (2023) -
Stabilized profunctors and stable species of structures
di: Fiore, Marcelo, et al.
Pubblicazione: (2023) -
Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021) -
Combinatorial manifolds and Kleene's theorem, homotopically
di: Chamoun, Yorgo
Pubblicazione: (2026)