scientific article; zbMATH DE number 7804574

zbMath1530.18006arXiv2105.03252MaRDI QIDQ6153329

S. C. Steenkamp, Andrew M. Pitts

Publication date: 13 February 2024

Full work available at URL: https://arxiv.org/abs/2105.03252

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Other constructive mathematics (03F65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The weak choice principle WISC may fail in the category of sets
• On the construction of free algebras for equational systems
• Wellfounded trees in categories
• Quotient inductive-inductive types
• Constructing infinitary quotient-inductive types
• Containers: Constructing strictly positive types
• On the Bourbaki–Witt principle in toposes
• The axiom of multiple choice and models for constructive set theory
• A general formulation of simultaneous inductive-recursive definitions in type theory
• Large and Infinitary Quotient Inductive-Inductive Types
• Well-founded recursion with copatterns and sized types
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Intuitionistic sets and ordinals
• Types for Proofs and Programs
• Type theories, toposes and constructive set theory: Predicative aspects of AST

This page was built for publication: