DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Natural numbers object
Natural numbers object
A Very Short Note on Homotopy Λ-Calculus
Topological Properties of the Real Numbers Object in a Topos Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 17, No 3 (1976), P
The Petit Topos of Globular Sets
Basic Category Theory and Topos Theory
The Sierpinski Object in the Scott Realizability Topos
Logic and Categories As Tools for Building Theories
Arxiv:0906.4931V2 [Math.CT] 6 Mar 2010
Cartesian Closed Categories for the Logic of Proofs
List Objects with Algebraic Structure
What Is a Model for a Semantically Linear Λ-Calculus?
Natural Number Objects in Dialectica Categories
FIXED POINTS in CARTESIAN CLOSED CATEGORIES Michael Barr∗ Department of Mathematics and Statistics Mcgill University 805 Sherbrooke St
Basic Category Theory
Homotopy Type Theory: the Logic of Space
Appendix. Foundations
List-Arithmetic Distributive Categories: Loco1
Impredicative Encodings in Hott (Or: Toward a Realizability ∞-Topos)
Basic Category Theory
Top View
Topos Theory and Quantum Logic
An Introduction to Topos Theory
Category Theory in Explicit Mathematics
Rethinking Set Theory’
Types of Natural Numbers with Examples
Topos Theory
A Glimpse of the World of Topos Theory
List Objects with Algebraic Structure
Towards Elementary -Toposes
Category Theory
A Universal Characterisation of the Closed Euclidean Interval
Print This Article
Finiteness and Computation in Toposes
A Homotopy-Theoretic Model of Function Extensionality in the Effective Topos
Toposes and Categories in Quantum Theory and Gravity
Formal Computational Models and Non-Standard Finiteness
Joyal's Arithmetic Universes Via Type Theory
Aspects of Topoi
BOUNDED FUNCTORS, FINITE LIMITS and an APPLICATION of INJECTIVE TOPOI by Robert ROSEBRUGH
Homotopy Theory and Topoi by Tibor Beke
Natural Numbers Objects and Quasitoposes
Introduction to CATEGORY THEORY and CATEGORICAL LOGIC
Chapter 1 LOCALES and TOPOSES AS SPACES
Elementary Topoi Arxiv:2011.13070V1 [Math.CT] 26 Nov 2020