:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	El Youssoufi M'nari, Omar
Format:	Recurso digital
Language:	English
Published:	Zenodo 2025
Subjects:	Topos Theory Category Theory Generative Logic M'NARI Theorem
Online Access:	https://doi.org/10.5281/zenodo.17780788
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

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

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

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

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

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

Overlap Algebras as Almost Discrete Locales
by: Ciraulo, Francesco
Published: (2016)

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

Desvelando el silencio. La voz de las víctimas de violencia en Los ejércitos de Evelio Rosero
by: María Camila Galvis
Published: (2020)

Categorical Data Structures for Technical Computing
by: Patterson, Evan, et al.
Published: (2021)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

The Ultimate Number Domain of Complex Numbers: Fieldoid F; Higher-Order Categories and the Structural Ontology of the Self-Referential Universe
by: zhou, changzheng, et al.
Published: (2026)

Monoidal Context Theory
by: Román, Mario
Published: (2024)

OBJETOS K - FINITOS Y DECIDIBILIDAD
by: OSVALDO ACUÑA ORTEGA
Published: (2014)

Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)

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

Modest Sets are Equivalent to PERs
by: Chhabra, Rahul
Published: (2024)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

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

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

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

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

MULHERES NA GESTÃO DE TOPO: A PROBLEMÁTICA DO GAP DE GÊNERO E SALARIAL
by: Tânia de Matos Gomes Marques
Published: (2015)

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

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

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

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

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

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

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

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

Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
by: Onodera, Hiroaki
Published: (2025)

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

A Structural Proof of Legendre's Conjecture via Bijective Symmetric Reflection
by: Nwaorisa, Chinasa Princewill
Published: (2026)

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