DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Category of sets
Category of sets
Categories of Sets with a Group Action
Categorical Semantics of Constructive Set Theory
On the Constructive Elementary Theory of the Category of Sets
An Outline of Algebraic Set Theory
On Categorical Theory-Building: Beyond the Formal
Math 395: Category Theory Northwestern University, Lecture Notes
1.7 Categories: Products, Coproducts, and Free Objects
Set-Theoretic Foundations
Unbounded Quantifiers and Strong Axioms in Topos Theory
Constructive Set Theory July, 2008, Mathlogaps Workshop, Manchester
Basic Categorial Constructions 1. Categories and Functors
A Whirlwind Tour of the World of (∞,1)-Categories
Category Theory Course
SET THEORY for CATEGORY THEORY 3 the Category Is Well-Powered, Meaning That Each Object Has Only a Set of Iso- Morphism Classes of Subobjects
Basic Category Theory
Homotopical Realizations of Infinity Groupoids
FOUNDATIONS of UNLIMITED CATEGORY THEORY: WHAT REMAINS to BE DONE SOLOMON FEFERMAN Department of Mathematics, Stanford University
A Short Course on ∞-Categories
Top View
Homotopy Type Theory: the Logic of Space
An Abstract Elementary Class Non-Axiomatizable in L∞,Κ
Section I.7. Categories: Products, Coproducts, and Free Objects
Choice Principles in Constructive and Classical Set Theories
Every Elementary Higher Topos Has a Natural Number Object
From Sets to Types to Categories to Sets∗
An Introduction to Topos Theory
The Category of Sets
When Is One Thing Equal to Some Other Thing?
Category Theory Lecture Notes
Categories and Functors (Lecture Notes for Midlands Graduate School, 2013)
Category Theory in Explicit Mathematics
The Category of M-Sets 1 Mset Is a Topos
ON the FUNCTOR L2 1. Introduction the Rich Theory of Hilbert Spaces
Homotopy-Topos-Sketch.Pdf
Arxiv:1908.10200V3 [Math.CT] 16 Sep 2019 Colimits
An Informal Introduction to Topos Theory
CATEGORIES 1. Categories 1.1. Definition and Examples. While
Constructive Category Theory 3
Spaces As Infinity-Groupoids
Category Theory Fundamentals
Category Theory and the Foundations of Mathematics
Introduction to Categorical Foundations for Mathematics
Category Theory
Category Theory
A Brief Introduction to Algebraic Set Theory∗
An Elementary Theory of the Category of Sets (Long Version) with Commentary
Set Theory and Structures
An Introduction to Category Theory (And a Little Bit of Algebraic Topology)
Basic Homotopy Theory Review
A Categorial Semantic Representation of Quantum Event Structures
CATEGORIES 1. Categories 1.1. Definition and Examples. While
The Axioms of Set Theory
Homotopy Type Theory: Towards Grothendieck's Dream
Math 250A Lecture 6 Notes
An Example of an Elementary (∞,1)-Topos That Is Not a Grothendieck
From Types to Sets
Infinity Giraud's Theorem
Arxiv:1705.02880V3 [Math.AT] 11 Oct 2019 Forms on the Standard Cosimplicial Simplex ƥ with Coefficients in L
Sets, Classes and Categories
Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought
Reconstructing Hilbert to Construct Category Theoretic Structuralism
The Category of Sets
What Is...A Topos?, Volume 51, Number 9
An Elementary Theory of the Category of Sets* by F
Upcommons Portal Del Coneixement Obert De La UPC
GEOMETRIC HIGHER GROUPOIDS and CATEGORIES This Paper
Introduction to CATEGORY THEORY and CATEGORICAL LOGIC
Grothendieck Universes and Indefinite Extensibility