A presentation of the initial lift-algebra (Q678845)

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).