:: Library Catalog

Kapak Resmi

Kaydedildi:

Detaylı Bibliyografya
Yazar:	El Youssoufi M'nari, Omar
Materyal Türü:	Recurso digital
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Zenodo 2025
Konular:	Topos Theory Category Theory Generative Logic M'NARI Theorem
Online Erişim:	https://doi.org/10.5281/zenodo.17849847
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
Yazar:: El Youssoufi M'nari, Omar
Baskı/Yayın Bilgisi: (2025)

Topos y musarañas : nimales misteriosos y poco conocidos. / Antonio Santos Moreno, Ana Lilia Trujano µlvarez
Yazar:: Santos-Moreno, Antonio
Baskı/Yayın Bilgisi: (2000)

Categorical Emergence of the Standard Model: Algebraic QFT, Operator Gravity, and the Bimodal Ground State
Yazar:: Adam, Marzuq Yussif Etsie
Baskı/Yayın Bilgisi: (2026)

Reflecting compact $T_1$-spaces into bounded distributive lattices
Yazar:: Gehrke, Mai, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

An Introduction to Categorical Proof Theory
Yazar:: Tabatabai, Amirhossein Akbar
Baskı/Yayın Bilgisi: (2024)

Attraversamento di luoghi simbolici. Petrarca, il bosco e la poesia
Yazar:: Noferi, Adelia
Baskı/Yayın Bilgisi: (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
Yazar:: Fernández Sánchez, Alberto

Equivalence and Conditional Independence in Atomic Sheaf Logic
Yazar:: Simpson, Alex
Baskı/Yayın Bilgisi: (2024)

TRADUZIR “FALSAS” TRADUÇÕES: O MANUSCRITO INVENTADO
Yazar:: Silvia La Regina
Baskı/Yayın Bilgisi: (2018)

Categorical Proof-Theoretic Semantics
Yazar:: Pym, David, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Codensity: Isbell duality, pro-objects, compactness and accessibility
Yazar:: Di Liberti, Ivan
Baskı/Yayın Bilgisi: (2019)

Overlap Algebras as Almost Discrete Locales
Yazar:: Ciraulo, Francesco
Baskı/Yayın Bilgisi: (2016)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
Yazar:: Rogozin, Daniel
Baskı/Yayın Bilgisi: (2025)

Desvelando el silencio. La voz de las víctimas de violencia en Los ejércitos de Evelio Rosero
Yazar:: María Camila Galvis
Baskı/Yayın Bilgisi: (2020)

Categorical Data Structures for Technical Computing
Yazar:: Patterson, Evan, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
Yazar:: Díaz-Caro, Alejandro, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

The Ultimate Number Domain of Complex Numbers: Fieldoid F; Higher-Order Categories and the Structural Ontology of the Self-Referential Universe
Yazar:: zhou, changzheng, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Monoidal Context Theory
Yazar:: Román, Mario
Baskı/Yayın Bilgisi: (2024)

OBJETOS K - FINITOS Y DECIDIBILIDAD
Yazar:: OSVALDO ACUÑA ORTEGA
Baskı/Yayın Bilgisi: (2014)

Classical Set Theory: Theory of Sets and Classes
Yazar:: Banakh, Taras
Baskı/Yayın Bilgisi: (2020)

A Simple Categorical Calculus of Interacting Processes
Yazar:: Nester, Chad, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Modest Sets are Equivalent to PERs
Yazar:: Chhabra, Rahul
Baskı/Yayın Bilgisi: (2024)

Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
Yazar:: Onodera, Hiroaki
Baskı/Yayın Bilgisi: (2025)

Formal Model Theory & Higher Topology
Yazar:: Di Liberti, Ivan
Baskı/Yayın Bilgisi: (2020)

A Structural Proof of Legendre's Conjecture via Bijective Symmetric Reflection
Yazar:: Nwaorisa, Chinasa Princewill
Baskı/Yayın Bilgisi: (2026)

Displayed Type Theory and Semi-Simplicial Types
Yazar:: Kolomatskaia, Astra, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

The Sup Connective in IMALL: A Categorical Semantics
Yazar:: Díaz-Caro, Alejandro, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
Yazar:: Díaz-Caro, Alejandro, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

MULHERES NA GESTÃO DE TOPO: A PROBLEMÁTICA DO GAP DE GÊNERO E SALARIAL
Yazar:: Tânia de Matos Gomes Marques
Baskı/Yayın Bilgisi: (2015)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
Yazar:: Tiurin, Aleksei, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

A Categorical Treatment of Open Linear Systems
Yazar:: Stein, Dario, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

A Fibrational Theory of First Order Differential Structures
Yazar:: Capucci, Matteo, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Groupoidal Realizability for Intensional Type Theory
Yazar:: Speight, Sam
Baskı/Yayın Bilgisi: (2024)

Coslice Colimits in Homotopy Type Theory
Yazar:: Hart, Perry, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
Yazar:: Abramsky, Samson, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
Yazar:: Fritz, Tobias, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
Yazar:: Chen, Leihao, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
Yazar:: Kapulkin, Chris, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Categorical Foundations of Formalized Condensed Mathematics
Yazar:: Asgeirsson, Dagur, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Interpreting type theory in a quasicategory: a Yoneda approach
Yazar:: Cherradi, El Mehdi
Baskı/Yayın Bilgisi: (2022)