Copertina

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	El Youssoufi M'nari, Omar
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2025
Soggetti:	Topos Theory Category Theory Generative Logic M'NARI Theorem
Accesso online:	Acceder al recurso
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)

Topos y musarañas : nimales misteriosos y poco conocidos. / Antonio Santos Moreno, Ana Lilia Trujano µlvarez
di: Santos-Moreno, Antonio
Pubblicazione: (2000)

Reflecting compact $T_1$-spaces into bounded distributive lattices
di: Gehrke, Mai, et al.
Pubblicazione: (2024)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
di: Simpson, Alex
Pubblicazione: (2024)

Categorical Emergence of the Standard Model: Algebraic QFT, Operator Gravity, and the Bimodal Ground State
di: Adam, Marzuq Yussif Etsie
Pubblicazione: (2026)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
di: Rogozin, Daniel
Pubblicazione: (2025)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Codensity: Isbell duality, pro-objects, compactness and accessibility
di: Di Liberti, Ivan
Pubblicazione: (2019)

Overlap Algebras as Almost Discrete Locales
di: Ciraulo, Francesco
Pubblicazione: (2016)

Categorical Data Structures for Technical Computing
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)

Classical Set Theory: Theory of Sets and Classes
di: Banakh, Taras
Pubblicazione: (2020)

Formal Model Theory & Higher Topology
di: Di Liberti, Ivan
Pubblicazione: (2020)

Displayed Type Theory and Semi-Simplicial Types
di: Kolomatskaia, Astra, et al.
Pubblicazione: (2023)

A Simple Categorical Calculus of Interacting Processes
di: Nester, Chad, et al.
Pubblicazione: (2026)

Monoidal Context Theory
di: Román, Mario
Pubblicazione: (2024)

Modest Sets are Equivalent to PERs
di: Chhabra, Rahul
Pubblicazione: (2024)

Attraversamento di luoghi simbolici. Petrarca, il bosco e la poesia
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

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
di: Tiurin, Aleksei, et al.
Pubblicazione: (2024)

A Fibrational Theory of First Order Differential Structures
di: Capucci, Matteo, et al.
Pubblicazione: (2024)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

Coslice Colimits in Homotopy Type Theory
di: Hart, Perry, et al.
Pubblicazione: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

A Categorical Treatment of Open Linear Systems
di: Stein, Dario, et al.
Pubblicazione: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
di: Fritz, Tobias, et al.
Pubblicazione: (2025)

The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
di: Chen, Leihao, et al.
Pubblicazione: (2024)

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

TRADUZIR “FALSAS” TRADUÇÕES: O MANUSCRITO INVENTADO
di: Silvia La Regina
Pubblicazione: (2018)

Categorical Foundations of Formalized Condensed Mathematics
di: Asgeirsson, Dagur, et al.
Pubblicazione: (2024)

Interpreting type theory in a quasicategory: a Yoneda approach
di: Cherradi, El Mehdi
Pubblicazione: (2022)

Internal languages of locally cartesian closed $(\infty,1)$-categories
di: Cherradi, El Mehdi
Pubblicazione: (2025)

Various topos of types constructions
di: Kanalas, Kristóf
Pubblicazione: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
di: Reizi, Higuchi Joaquim
Pubblicazione: (2025)

A constructive approach to the double-categorical small object argument
di: Berg, Benno van den, et al.
Pubblicazione: (2025)

What can Topology tell us about Logical Complexity?
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
di: Abramsky, Samson, et al.
Pubblicazione: (2022)