The following pages link to Wellfounded trees in categories (Q1577483):
Displaying 45 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Cacti and filtered distributive laws (Q488558) (← links)
- Monads in double categories (Q531324) (← links)
- Inductive types and exact completion (Q556819) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- Universal properties of bicategories of polynomials (Q2421332) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
- Homotopy theory for algebras over polynomial monads (Q2963473) (← links)
- Polynomial functors and combinatorial Dyson–Schwinger equations (Q2981022) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- (Q3121528) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
- Three extensional models of type theory (Q3625679) (← links)
- (Q4611383) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- Local fibred right adjoints are polynomial (Q4911305) (← links)
- (Q5014439) (← links)
- (Q5089034) (← links)
- (Q5094144) (← links)
- Models of Type Theory Based on Moore Paths (Q5111326) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- W-types in setoids (Q5155691) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- Algebraic set theory and the effective topos (Q5718693) (← links)
- W-types in homotopy type theory (Q5740651) (← links)
- Type theories, toposes and constructive set theory: Predicative aspects of AST (Q5957856) (← links)
- On the dependent product in toposes (Q6047709) (← links)
- A class of higher inductive types in Zermelo‐Fraenkel set theory (Q6094139) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
