A presentation of the initial lift-algebra

DOI10.1016/S0022-4049(96)00108-9zbMath0879.18006MaRDI QIDQ678845

Mamuka Jibladze

Publication date: 11 January 1998

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsuniversal algebraelementary topossynthetic domain theorydowndealinitial lift-algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (5)

Computational adequacy for recursive types in models of intuitionistic set theory ⋮ Well-foundedness in realizability ⋮ Domains in \(H\) ⋮ Inductive types and exact completion ⋮ Axioms and (counter)examples in synthetic domain theory

Cites Work

• Strong functors and monoidal monads
• Absolutely Free Algebras in a Topos Containing an Infinite Object
• Connected limits, familial representability and Artin glueing
• The S-replete construction
• Aspects of topoi: Corrigenda and acknowledgements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A presentation of the initial lift-algebra