On fixpoint objects and gluing constructions

DOI10.1007/BF00122256zbMath0862.18003MaRDI QIDQ1923803

Roy L. Crole

Publication date: 25 May 1997

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

initial algebra for endofunctorcategorical type theoryfix-categoriesfixpoint objectlet-categories

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

Nominal lambda calculus: an internal language for FM-Cartesian closed categories ⋮ The nominal/FM Yoneda Lemma

Cites Work

• Intuitionist type theory and the free topos
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• Monads on symmetric monoidal closed categories
• Categories for Types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On fixpoint objects and gluing constructions