A presentation of the initial lift-algebra

DOI10.1016/S0022-4049(96)00108-9zbMATH Open0879.18006MaRDI QIDQ678845FDOQ678845

Authors: M. Jibladze 

Publication date: 11 January 1998

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

Recommendations

• scientific article; zbMATH DE number 4000186
• scientific article; zbMATH DE number 4071160
• scientific article; zbMATH DE number 4164840
• Every elementary higher topos has a natural number object

zbMATH Keywords

denotational semanticsuniversal algebraelementary topossynthetic domain theorydowndealinitial lift-algebra

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong functors and monoidal monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Aspects of topoi: Corrigenda and acknowledgements
• Title not available (Why is that?)
• Connected limits, familial representability and Artin glueing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Absolutely Free Algebras in a Topos Containing an Infinite Object
• The S-replete construction

Cited In (7)

• Domains in \(H\)
• Well-foundedness in realizability
• Computational adequacy for recursive types in models of intuitionistic set theory
• Inductive types and exact completion
• Axioms and (counter)examples in synthetic domain theory
• Every elementary higher topos has a natural number object
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q678845)