A presentation of the initial lift-algebra

DOI10.1016/S0022-4049(96)00108-9MaRDI QIDQ678845zbMATH OpenFDO

Authors M. Jibladze

Publication date 11 January 1998

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

Full work available at URL https://doi.org/10.1016/S0022-4049(96)00108-9

zbMATH Keywords

denotational semanticsdowndealelementary toposinitial lift-algebrasynthetic domain theoryuniversal algebra

Mathematics Subject Classification ID

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

Review text

A non-classical natural number object in a non-boolean elementary topos \(S\) is studied. The construction is to replace coproduct + in standard ``equation \(x=x+1\) using the ``partial map classifier. One may say, that the operations of the arity, given by subobjects of 1 are considered. A detailed algebraic study of properties of this object (a proof, that it is an initial algebra, connection with the set of subobjects of ``standard \(N\), etc.) is presented. Possible applications: in universal algebra (one may encounter the algebraic operations with arities more general than numbers); in denotational semantics and synthetic domain theory (non-standard domain equations).

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

Cites work

• Absolutely Free Algebras in a Topos Containing an Infinite Object
• Aspects of topoi: Corrigenda and acknowledgements
• Connected limits, familial representability and Artin glueing
• scientific article; zbMATH DE number 431762 (Why is no real title available?)
• scientific article; zbMATH DE number 431774 (Why is no real title available?)
• scientific article; zbMATH DE number 4068863 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3605078 (Why is no real title available?)
• scientific article; zbMATH DE number 3608260 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• Strong functors and monoidal monads
• The S-replete construction

Cited in

(7)

• Axioms and (counter)examples in synthetic domain theory
• Computational adequacy for recursive types in models of intuitionistic set theory
• scientific article; zbMATH DE number 3948548 (Why is no real title available?)
• Inductive types and exact completion
• Every elementary higher topos has a natural number object
• Domains in \(H\)
• Well-foundedness in realizability

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)