Pages that link to "Item:Q1843432"

The following pages link to Categorical set theory: A characterization of the category of sets (Q1843432):

Displaying 25 items.

• Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
• Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
• On three arguments against categorical structuralism (Q1036073) (← links)
• Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen (Q1211512) (← links)
• Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness (Q1222711) (← links)
• Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
• Comparing material and structural set theories (Q1715477) (← links)
• Completely iterative algebras and completely iterative monads (Q1767976) (← links)
• Topos theory and Souslin's hypothesis (Q1844831) (← links)
• A categorical framework for learning generalised tree automata (Q2104477) (← links)
• The effects of effects on constructivism (Q2133168) (← links)
• Recursive coalgebras from comonads (Q2495640) (← links)
• A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
• Recursive coalgebras of finitary functors (Q3512598) (← links)
• (Q4128944) (← links)
• (Q4135737) (← links)
• FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE (Q4918375) (← links)
• NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS (Q4918376) (← links)
• Well-founded coalgebras, revisited (Q5361146) (← links)
• Intuitionistic sets and ordinals (Q5687312) (← links)
• Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
• The strength of Mac Lane set theory (Q5946048) (← links)
• WHAT IS A RESTRICTIVE THEORY? (Q6131223) (← links)
• Nonstandard proof methods in toposes (Q6151820) (← links)