Definition natural number objects (NNO's) This is related to the initial algebra definition in FunctorAlgebras.
Require Import UniMath.MoreFoundations.All. Require Import UniMath.CategoryTheory.Core.Prelude. Require Import UniMath.CategoryTheory.Limits.Terminal.