Buchumschlag

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

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	El Youssoufi M'nari, Omar
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2025
Schlagworte:	Topos Theory Category Theory Generative Logic M'NARI Theorem
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
von: El Youssoufi M'nari, Omar
Veröffentlicht: (2025)

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

Reflecting compact $T_1$-spaces into bounded distributive lattices
von: Gehrke, Mai, et al.
Veröffentlicht: (2024)

An Introduction to Categorical Proof Theory
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
von: Simpson, Alex
Veröffentlicht: (2024)

Categorical Emergence of the Standard Model: Algebraic QFT, Operator Gravity, and the Bimodal Ground State
von: Adam, Marzuq Yussif Etsie
Veröffentlicht: (2026)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
von: Rogozin, Daniel
Veröffentlicht: (2025)

Categorical Proof-Theoretic Semantics
von: Pym, David, et al.
Veröffentlicht: (2023)

Codensity: Isbell duality, pro-objects, compactness and accessibility
von: Di Liberti, Ivan
Veröffentlicht: (2019)

Overlap Algebras as Almost Discrete Locales
von: Ciraulo, Francesco
Veröffentlicht: (2016)

Categorical Data Structures for Technical Computing
von: Patterson, Evan, et al.
Veröffentlicht: (2021)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Classical Set Theory: Theory of Sets and Classes
von: Banakh, Taras
Veröffentlicht: (2020)

Formal Model Theory & Higher Topology
von: Di Liberti, Ivan
Veröffentlicht: (2020)

Displayed Type Theory and Semi-Simplicial Types
von: Kolomatskaia, Astra, et al.
Veröffentlicht: (2023)

A Simple Categorical Calculus of Interacting Processes
von: Nester, Chad, et al.
Veröffentlicht: (2026)

Monoidal Context Theory
von: Román, Mario
Veröffentlicht: (2024)

Modest Sets are Equivalent to PERs
von: Chhabra, Rahul
Veröffentlicht: (2024)

Attraversamento di luoghi simbolici. Petrarca, il bosco e la poesia
von: Noferi, Adelia
Veröffentlicht: (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
von: Fernández Sánchez, Alberto

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

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
von: Tiurin, Aleksei, et al.
Veröffentlicht: (2024)

A Fibrational Theory of First Order Differential Structures
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

Coslice Colimits in Homotopy Type Theory
von: Hart, Perry, et al.
Veröffentlicht: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

A Categorical Treatment of Open Linear Systems
von: Stein, Dario, et al.
Veröffentlicht: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
von: Fritz, Tobias, et al.
Veröffentlicht: (2025)

The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
von: Chen, Leihao, et al.
Veröffentlicht: (2024)

The Sup Connective in IMALL: A Categorical Semantics
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

TRADUZIR “FALSAS” TRADUÇÕES: O MANUSCRITO INVENTADO
von: Silvia La Regina
Veröffentlicht: (2018)

Categorical Foundations of Formalized Condensed Mathematics
von: Asgeirsson, Dagur, et al.
Veröffentlicht: (2024)

Interpreting type theory in a quasicategory: a Yoneda approach
von: Cherradi, El Mehdi
Veröffentlicht: (2022)

Internal languages of locally cartesian closed $(\infty,1)$-categories
von: Cherradi, El Mehdi
Veröffentlicht: (2025)

Various topos of types constructions
von: Kanalas, Kristóf
Veröffentlicht: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
von: Reizi, Higuchi Joaquim
Veröffentlicht: (2025)

A constructive approach to the double-categorical small object argument
von: Berg, Benno van den, et al.
Veröffentlicht: (2025)

What can Topology tell us about Logical Complexity?
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
von: Abramsky, Samson, et al.
Veröffentlicht: (2022)