- 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:
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 (q, f) is sometimes called the recursion data for u, given in the form of a recursive definition:
- ⊢ u (z) = q
- y ∈E N ⊢ u (s y) = f (u (y))
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 : A → B and f : B → B, there is a unique h : N × A → B such that the squares in the following diagram commute.
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.
- Peano's axioms of arithmetic
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. 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