dual number (history) in nLab

August 15, 2024

• Current (diff)

  by Urs Schreiber on August 15, 2024 at 12:35:57.

March 10, 2015

• Revision 8 (diff)

  by Urs Schreiber on March 10, 2015 at 13:28:47.

November 14, 2011

• Revision 7 (diff)

  by Toby Bartels on November 14, 2011 at 06:02:25.

October 3, 2010

• Revision 6 (diff)

  by Urs Schreiber on October 3, 2010 at 08:16:21.

January 11, 2010

• Revision 5 (diff)

  by Urs Schreiber on January 11, 2010 at 18:24:14.

January 4, 2010

• Revision 4 (diff)

  by Toby Bartels on January 4, 2010 at 06:24:59.

November 24, 2009

• Revision 3 (diff)

  by Toby Bartels on November 24, 2009 at 22:04:36.

• Revision 2 (diff)

  by Urs Schreiber on November 24, 2009 at 21:52:38.

August 26, 2009

• Revision 1

  by Toby Bartels on August 26, 2009 at 22:42:51.