Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Recurso digital |
| Lingua: | inglese |
| Pubblicazione: |
Zenodo
2025
|
| Soggetti: | |
| Accesso online: | https://doi.org/10.5281/zenodo.17849847 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
di: El Youssoufi M'nari, Omar
Pubblicazione: (2025)
di: El Youssoufi M'nari, Omar
Pubblicazione: (2025)
Topos y musarañas : nimales misteriosos y poco conocidos. / Antonio Santos Moreno, Ana Lilia Trujano µlvarez
di: Santos-Moreno, Antonio
Pubblicazione: (2000)
di: Santos-Moreno, Antonio
Pubblicazione: (2000)
Categorical Emergence of the Standard Model: Algebraic QFT, Operator Gravity, and the Bimodal Ground State
di: Adam, Marzuq Yussif Etsie
Pubblicazione: (2026)
di: Adam, Marzuq Yussif Etsie
Pubblicazione: (2026)
Reflecting compact $T_1$-spaces into bounded distributive lattices
di: Gehrke, Mai, et al.
Pubblicazione: (2024)
di: Gehrke, Mai, et al.
Pubblicazione: (2024)
An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)
Attraversamento di luoghi simbolici. Petrarca, il bosco e la poesia
di: Noferi, Adelia
Pubblicazione: (2022)
di: Noferi, Adelia
Pubblicazione: (2022)
Evaluación del efecto causado por el topo (Thomomys Bottae), en dos tipos de vegetación de zonas ridas del estado de Coahuila / Alberto Fern ndez S nchez, Sergio Ramírez Rodríguez
di: Fernández Sánchez, Alberto
di: Fernández Sánchez, Alberto
Equivalence and Conditional Independence in Atomic Sheaf Logic
di: Simpson, Alex
Pubblicazione: (2024)
di: Simpson, Alex
Pubblicazione: (2024)
TRADUZIR “FALSAS” TRADUÇÕES: O MANUSCRITO INVENTADO
di: Silvia La Regina
Pubblicazione: (2018)
di: Silvia La Regina
Pubblicazione: (2018)
Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)
di: Pym, David, et al.
Pubblicazione: (2023)
Codensity: Isbell duality, pro-objects, compactness and accessibility
di: Di Liberti, Ivan
Pubblicazione: (2019)
di: Di Liberti, Ivan
Pubblicazione: (2019)
Overlap Algebras as Almost Discrete Locales
di: Ciraulo, Francesco
Pubblicazione: (2016)
di: Ciraulo, Francesco
Pubblicazione: (2016)
Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
di: Rogozin, Daniel
Pubblicazione: (2025)
di: Rogozin, Daniel
Pubblicazione: (2025)
Desvelando el silencio. La voz de las víctimas de violencia en Los ejércitos de Evelio Rosero
di: María Camila Galvis
Pubblicazione: (2020)
di: María Camila Galvis
Pubblicazione: (2020)
Categorical Data Structures for Technical Computing
di: Patterson, Evan, et al.
Pubblicazione: (2021)
di: Patterson, Evan, et al.
Pubblicazione: (2021)
A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)
The Ultimate Number Domain of Complex Numbers: Fieldoid F; Higher-Order Categories and the Structural Ontology of the Self-Referential Universe
di: zhou, changzheng, et al.
Pubblicazione: (2026)
di: zhou, changzheng, et al.
Pubblicazione: (2026)
Monoidal Context Theory
di: Román, Mario
Pubblicazione: (2024)
di: Román, Mario
Pubblicazione: (2024)
OBJETOS K - FINITOS Y DECIDIBILIDAD
di: OSVALDO ACUÑA ORTEGA
Pubblicazione: (2014)
di: OSVALDO ACUÑA ORTEGA
Pubblicazione: (2014)
Classical Set Theory: Theory of Sets and Classes
di: Banakh, Taras
Pubblicazione: (2020)
di: Banakh, Taras
Pubblicazione: (2020)
A Simple Categorical Calculus of Interacting Processes
di: Nester, Chad, et al.
Pubblicazione: (2026)
di: Nester, Chad, et al.
Pubblicazione: (2026)
Modest Sets are Equivalent to PERs
di: Chhabra, Rahul
Pubblicazione: (2024)
di: Chhabra, Rahul
Pubblicazione: (2024)
Formal Model Theory & Higher Topology
di: Di Liberti, Ivan
Pubblicazione: (2020)
di: Di Liberti, Ivan
Pubblicazione: (2020)
Displayed Type Theory and Semi-Simplicial Types
di: Kolomatskaia, Astra, et al.
Pubblicazione: (2023)
di: Kolomatskaia, Astra, et al.
Pubblicazione: (2023)
The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)
An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)
Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
di: Tiurin, Aleksei, et al.
Pubblicazione: (2024)
di: Tiurin, Aleksei, et al.
Pubblicazione: (2024)
MULHERES NA GESTÃO DE TOPO: A PROBLEMÁTICA DO GAP DE GÊNERO E SALARIAL
di: Tânia de Matos Gomes Marques
Pubblicazione: (2015)
di: Tânia de Matos Gomes Marques
Pubblicazione: (2015)
A Categorical Treatment of Open Linear Systems
di: Stein, Dario, et al.
Pubblicazione: (2024)
di: Stein, Dario, et al.
Pubblicazione: (2024)
A Fibrational Theory of First Order Differential Structures
di: Capucci, Matteo, et al.
Pubblicazione: (2024)
di: Capucci, Matteo, et al.
Pubblicazione: (2024)
Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)
di: Speight, Sam
Pubblicazione: (2024)
Coslice Colimits in Homotopy Type Theory
di: Hart, Perry, et al.
Pubblicazione: (2024)
di: Hart, Perry, et al.
Pubblicazione: (2024)
Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)
di: Abramsky, Samson, et al.
Pubblicazione: (2021)
Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
di: Fritz, Tobias, et al.
Pubblicazione: (2025)
di: Fritz, Tobias, et al.
Pubblicazione: (2025)
The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
di: Chen, Leihao, et al.
Pubblicazione: (2024)
di: Chen, Leihao, et al.
Pubblicazione: (2024)
(Pointed) Univalence in Universe Category Models of Type Theory
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)
Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
di: Onodera, Hiroaki
Pubblicazione: (2025)
di: Onodera, Hiroaki
Pubblicazione: (2025)
Categorical Foundations of Formalized Condensed Mathematics
di: Asgeirsson, Dagur, et al.
Pubblicazione: (2024)
di: Asgeirsson, Dagur, et al.
Pubblicazione: (2024)
A Structural Proof of Legendre's Conjecture via Bijective Symmetric Reflection
di: Nwaorisa, Chinasa Princewill
Pubblicazione: (2026)
di: Nwaorisa, Chinasa Princewill
Pubblicazione: (2026)
Interpreting type theory in a quasicategory: a Yoneda approach
di: Cherradi, El Mehdi
Pubblicazione: (2022)
di: Cherradi, El Mehdi
Pubblicazione: (2022)