Natural number object

Natural number object

In category theory, a natural number 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 (alternately, a topos), an NNO N is given by:

  1. a global element z : 1 → N, and
  2. an arrow s : NN,

such that for any object A of E, global element q : 1 → A, and arrow f : AA, there exists a unique arrow u : NA such that:

  1. uz = q, and
  2. us = fu.

In other words, the triangle and square in the following diagram commute.

NNO definition

The pair (q, f) is sometimes called the recursion data for u, given in the form of a recursive definition:

  1. u (z) = q
  2. yE Nu (s y) = f (u (y))

NNOs are defined up to isomorphism. Every NNO is an initial object of the category of diagrams of the form

NNO as a terminal object

If the arrow u as defined above merely has to exist, i.e. uniqueness is not required, then N is called a weak NNO. If a cartesian closed category has weak NNOs, then every slice of it also has a weak NNO. NNOs in CCCs or topoi are sometimes defined in the following equivalent way (due to Lawvere): for every pair of arrows g : AB and f : BB, there is a unique h : N × AB such that the squares in the following diagram commute.

alternate NNO definition

This same construction defines weak NNOs in cartesian categories that are not cartesian closed.

NNOs can be used for non-standard models of type theory in a way analogous to non-standard models of analysis. Such categories (or topoi) tend to have "infinitely many" non-standard natural numbers. (Like always, there are simple ways to get non-standard NNOs; for example, if z = s z, in which case the category or topos E is trivial.)

Freyd showed that z and s form a coproduct diagram for NNOs; also, !N : N → 1 is a coequalizer of s and 1N, i.e., every pair of global elements of N are connected by means of s; furthermore, this pair of facts characterize all NNOs.

See also


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Natural number — Natural numbers can be used for counting (one apple, two apples, three apples, ...) from top to bottom. In mathematics, the natural numbers are the ordinary whole numbers used for counting ( there are 6 coins on the table ) and ordering ( this is …   Wikipedia

  • Number — For other uses, see Numbers (disambiguation). A number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational… …   Wikipedia

  • Object Management Group — Formation 1989 Headquarters Needham, Massachusetts Website …   Wikipedia

  • Object Process Methodology — (OPM) is an approach to designing information systems by depicting them using object models and process models. OPM was conceived and developed by Prof. Dov Dori, at the Technion – Israel Institute of Technology. A paper that first presented… …   Wikipedia

  • Object-oriented ontology — (OOO) is a metaphysical movement that rejects the privileging of human existence over the existence of nonhuman objects.[1] Specifically, object oriented ontology opposes the anthropocentrism of Immanuel Kant s Copernican Revolution, whereby… …   Wikipedia

  • natural — [nach′ər əl, nach′rəl] adj. [OFr < L naturalis, by birth, according to nature] 1. of or arising from nature; in accordance with what is found or expected in nature 2. produced or existing in nature; not artificial or manufactured 3. dealing… …   English World dictionary

  • Number Six (Battlestar Galactica) — Number Six Battlestar Galactica character Promotional still of Number Six in season four First appearance …   Wikipedia

  • number game — Introduction       any of various puzzles and games that involve aspects of mathematics.       Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… …   Universalium

  • Natural scientific research in Canada — This article outlines the history of natural scientific research in Canada, including mathematics, physics, astronomy, space science, geology, oceanography, chemistry, biology, medical research and psychology. The social sciences are not treated… …   Wikipedia

  • Object theory — For the concept of objects in philosophy, see Object (philosophy). Object theory is a theory in philosophy and mathematical logic concerning objects and the statements that can be made about objects. Contents 1 An informal theory 2 Objects 3 A… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”