Natural numbers object
id:
natural-numbers-object-305-5337811
title:
Natural numbers object
text:
In category theory, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a category E with a terminal object 1, an NNO N is given by: a global element z : 1 → N, and
an arrow s : N → N, such that for any object A of E, global element q : 1 → A, and arrow f : A → A, there exists a unique arrow u : N → A such that: u ∘ z = q, and
u ∘ s = f ∘ u. In other words, the triangle and square in the following diagram commute. The pair
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Natural_numbers_object
date created:
date modified:
2023-06-18T18:04:51Z
main entity:
{"identifier":"Q6980740","url":"https://www.wikidata.org/entity/Q6980740"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/8/88/Natural_numbers_object_definition.svg","width":158,"height":69}
fields total:
13
integrity:
14