Author(s) :
Michael Pfender
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 10-2018
MSC 2000
- 00-02 Research exposition
Abstract :
Free-variables categorical cartesian theories: Interpretation
of free variables as identitic maps or projections. Iteration, full
schema of primitive recursion, Hilbert's infnite hotel, Algebra
and order on the Natural Numbers Object N.