Natural numbers object: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 18:0418:04, 18 June 2023 Citation bot talk contribs 6,820 bytes +20 Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 617/999 undo

curprev 21:0421:04, 1 September 2022 Daniel5Ko talk contribs 6,800 bytes −1 →Equivalent definitions: [id,f] would be an arrow X+Y -> X with the usual meaning of the notation [id,f] (for which Barr uses <id|f>). id+f is the arrow needed here (which Barr also uses). undo

curprev 09:1009:10, 5 November 2021 174.199.66.58 talk 6,801 bytes +1 fixed initial/terminal error undo Tags: Manual revert Mobile edit Mobile web edit

curprev 05:5005:50, 26 October 2021 73.94.1.149 talk 6,800 bytes −1 No edit summary undo Tag: Reverted

curprev 00:5200:52, 1 April 2020 Citation bot talk contribs 6,801 bytes −86 Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | Activated by AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

curprev 23:1523:15, 12 December 2019 Michael Hardy talk contribs 6,887 bytes +1 →Properties undo

curprev 09:5809:58, 11 December 2019 Gnampfissimo talk contribs m 6,886 bytes +1 Added plural (natural number object -> natural numbers object) undo

curprev 16:4516:45, 9 December 2019 Deacon Vorbis talk contribs m 6,885 bytes 0 Deacon Vorbis moved page Natural number object to Natural numbers object over redirect: Name used in sources, per request at WT:WPM undo

curprev 00:3400:34, 12 November 2019 69.156.109.238 talk 6,885 bytes −20 No edit summary undo

curprev 08:4808:48, 7 October 2019 Rjwilmsi talk contribs m 6,905 bytes +41 →top: Added 1 doi to a journal cite undo Tag: AWB

curprev 20:2320:23, 29 August 2019 Bender the Bot talk contribs m 6,864 bytes +1 →External links: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ undo Tag: AWB

curprev 08:4408:44, 29 July 2018 Michipedian talk contribs m 6,863 bytes +6 boldface fix undo

curprev 14:5614:56, 3 July 2018 136.159.160.157 talk 6,857 bytes +655 →Examples undo

curprev 10:0410:04, 20 June 2018 Bibcode Bot talk contribs m 6,202 bytes +28 Adding 0 arxiv eprint(s), 1 bibcode(s) and 0 doi(s). Did it miss something? Report bugs, errors, and suggestions at User talk:Bibcode Bot undo

curprev 16:4516:45, 14 May 2018 Cgvilleneuve talk contribs m 6,174 bytes −1 →External links: The blog post was posted by Emily Riehl but was written by Clive Newstead undo

curprev 15:1415:14, 13 April 2018 Oshwah talk contribs m 6,175 bytes +1,143 Reverted edits by 1.47.229.54 (talk): unexplained content removal (HG) (3.3.5) undo Tags: Huggle Rollback
curprev 14:0814:08, 13 April 2018 1.47.229.54 talk 5,032 bytes −1,143 == Equivalent definitions == NNOs in cartesian closed categories (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.{{sfn|Johnstone|2002|loc=A2.5.2}} <div style="margin-left: 2em">alternate NNO definition... undo Tags: section blanking Mobile edit Mobile web edit

curprev 05:2405:24, 8 February 2018 Siddharthist talk contribs 6,175 bytes +171 →External links: Add lecture notes from Robert Harper (computer scientist) to external links undo Tag: 2017 wikitext editor

curprev 02:1602:16, 26 January 2018 Headbomb talk contribs 6,004 bytes −6 2014 undo
curprev 02:1602:16, 26 January 2018 Headbomb talk contribs 6,010 bytes −13 ce→top undo
curprev 02:1502:15, 26 January 2018 Citation bot talk contribs m 6,023 bytes +88 Add: arxiv, pages, issue, volume, journal. Removed parameters. You can use this bot yourself. Report bugs here. undo
curprev 02:1502:15, 26 January 2018 Headbomb talk contribs m 5,935 bytes −68 clean up using AWB undo

curprev 01:4101:41, 8 December 2017 AnomieBOT talk contribs m 4,406 bytes +19 Dating maintenance tags: {{Clarify}} undo

curprev 23:4023:40, 7 December 2017 Siddharthist talk contribs m 4,387 bytes +21 Add {{Category theory}} navbar undo Tag: 2017 wikitext editor
curprev 23:3923:39, 7 December 2017 Siddharthist talk contribs 4,366 bytes +921 Add two examples undo Tag: 2017 wikitext editor
curprev 23:2923:29, 7 December 2017 Siddharthist talk contribs 3,445 bytes +654 Reorganize into sections, add some minor content undo Tag: 2017 wikitext editor

curprev 10:1110:11, 1 July 2015 Storkk talk contribs m 2,791 bytes −14 png -> math undo

curprev 13:1613:16, 28 October 2012 CBM talk contribs 2,805 bytes −29 →See also: Rm category "natural numbers" that doesn't exist - not likely to be created IMO undo

curprev 19:5819:58, 15 December 2009 Mattg82 talk contribs 2,834 bytes −30 clean up, Removed: Category:Articles lacking sources (Erik9bot), using AWB undo

curprev 06:5906:59, 11 December 2009 RDBury talk contribs 2,864 bytes +17 Unreferenced tag undo

curprev 19:1119:11, 10 December 2009 Tsoeto talk contribs m 2,847 bytes 0 Uniformized capitalization of "NNO" undo

curprev 20:0720:07, 10 September 2009 99.247.248.73 talk 2,847 bytes 0 No edit summary undo
curprev 20:0720:07, 10 September 2009 99.247.248.73 talk 2,847 bytes 0 No edit summary undo
curprev 20:0420:04, 10 September 2009 99.247.248.73 talk 2,847 bytes 0 No edit summary undo

curprev 19:1219:12, 5 July 2009 Erik9bot talk contribs 2,847 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 15:2115:21, 28 January 2009 Tea2min talk contribs m 2,798 bytes −13 1 denotes the terminal object. undo

curprev 21:2821:28, 25 October 2008 Michael Hardy talk contribs m 2,811 bytes 0 No edit summary undo

curprev 15:1315:13, 6 March 2008 BetacommandBot talk contribs m 2,811 bytes +29 Reverted edits by BetacommandBot (talk) to last version by Hans Adler undo

curprev 05:0605:06, 4 March 2008 BetacommandBot talk contribs m 2,782 bytes −29 removing Category:Natural_numbers undo

curprev 22:1422:14, 23 November 2007 Hans Adler talk contribs m 2,811 bytes +1 link maintenance undo

curprev 19:0719:07, 10 October 2006 Charles Matthews talk contribs m 2,810 bytes +39 cats undo

curprev 10:0710:07, 6 April 2006 Commander Keane bot talk contribs m 2,771 bytes +23 Robot-assisted disambiguation link repair (you can help!): Category undo

18 June 2023

1 September 2022

5 November 2021

26 October 2021

1 April 2020

12 December 2019

11 December 2019

9 December 2019

12 November 2019

7 October 2019

29 August 2019

29 July 2018

3 July 2018

20 June 2018

14 May 2018

13 April 2018

8 February 2018

26 January 2018

26 December 2017

8 December 2017

7 December 2017

1 July 2015

28 October 2012

15 December 2009

11 December 2009

10 December 2009

10 September 2009

5 July 2009

28 January 2009

25 October 2008

6 March 2008

4 March 2008

23 November 2007

10 October 2006

6 April 2006