DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Global element
Global element
The Petit Topos of Globular Sets
Bernays–G Odel Type Theory
Arxiv:2010.05167V1 [Cs.PL] 11 Oct 2020
A CLASSICAL REALIZABILITY MODEL ARISING from a STABLE MODEL of UNTYPED LAMBDA CALCULUS Dedicated to Pierre-Louis Curien at the O
Functorial Data Migration
Category Theory: a Gentle Introduction
Contexts, Bi-Heyting Algebras and a New Logic for Quantum Systems Oberseminar Theoretische Informatik FAU Erlangen 4
Normalization by Gluing for Free 휆-Theories
The Space of Measurement Outcomes As a Spectrum for Non-Commutative Algebras
Closed Set Logic in Categories
THE HETEROMORPHISM in CATEGORY THEORY Undergraduate Research Scholars by CHRISTIAN WILLIAMS Submitted to the Undergraduate Resea
A Natural Separation of Concerns
An Introduction to Topos Theory
An Introduction to Topos Physics Arxiv:0803.2361V1 [Math-Ph]
Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Ło´S’Stheorem
The History of Categorical Logic 1963–1977
An Informal Introduction to Topos Theory
A Glimpse of the World of Topos Theory
Top View
Programming with Categories (DRAFT)
Topoi and Logic
Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi
Category Theory
Arxiv:1301.1203V2 [Math.CT] 10 Jan 2013
A Topos for Algebraic Quantum Theory
Michael Barr Charles Wells
A Topos Formulation of History Quantum Theory ͒ C
A Categorial Semantic Representation of Quantum Event Structures
Orbits and Monoids in a Topos
Universes in Toposes
Set Theories Through Ordinary Mathematics
A Fibrational View of Geometric Morphisms
Classical Set Theory: Theory of Sets and Classes
A Theory of Conditional Sets
Download Download
With the Slow Treatment of Everything Else
Natural Numbers Objects and Quasitoposes
Introduction to CATEGORY THEORY and CATEGORICAL LOGIC
Chapter 1 LOCALES and TOPOSES AS SPACES