Editing Natural numbers object (section)

== External links ==
* Lecture notes from [[Robert Harper (computer scientist)|Robert Harper]] which discuss NNOs in Section 2.2: https://www.cs.cmu.edu/~rwh/courses/hott/notes/notes_week3.pdf
* A blog post by Clive Newstead on the {{var|n}}-Category Cafe: https://golem.ph.utexas.edu/category/2014/01/an_elementary_theory_of_the_ca.html
* Notes on datatypes as algebras for endofunctors by computer scientist [[Philip Wadler]]: http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
* Notes on the [[nLab]]: https://ncatlab.org/nlab/show/ETCS

{{Category theory}}

[[Category:Objects (category theory)]]
[[Category:Topos theory]]
[[Category:Categorical logic]]