nLab dependent product type (history)

August 14, 2026

• Current (diff)
  by Reuben Hillyard on August 14, 2026 at 08:40:07.

August 23, 2025

• Revision 42 (diff)
  by p on August 23, 2025 at 03:14:50.
• Revision 41 (diff)
  by p on August 23, 2025 at 02:21:43.

August 14, 2025

• Revision 40 (diff)
  by Max S. New on August 14, 2025 at 16:23:38.

July 5, 2025

• Revision 39 (diff)
  by p on July 5, 2025 at 20:28:03.

April 12, 2025

• Revision 38 (diff)
  by Anonymouse on April 12, 2025 at 11:59:28.

December 17, 2024

• Revision 37 (diff)
  by Anonymouse on December 17, 2024 at 16:02:06.

May 17, 2024

• Revision 36 (diff)
  by Anonymouse on May 17, 2024 at 13:07:10.

February 10, 2024

• Revision 35 (diff)
  by Madeleine Birchfield on February 10, 2024 at 23:27:14.

January 30, 2024

• Revision 34 (diff)
  by Anonymouse on January 30, 2024 at 13:47:02.

January 14, 2024

• Revision 33 (diff)
  by Anonymouse on January 14, 2024 at 07:34:50.

January 6, 2024

• Revision 32 (diff)
  by Anonymouse on January 6, 2024 at 00:52:40.

January 1, 2024

• Revision 31 (diff)
  by Anonymouse on January 1, 2024 at 02:42:56.

December 30, 2023

• Revision 30 (diff)
  by Madeleine Birchfield on December 30, 2023 at 06:58:32.

December 9, 2023

• Revision 29 (diff)
  by Anonymouse on December 9, 2023 at 03:26:48.

November 29, 2023

• Revision 28 (diff)
  by Anonymouse on November 29, 2023 at 22:02:47.

November 26, 2023

• Revision 27 (diff)
  by Anonymouse on November 26, 2023 at 15:04:35.
• Revision 26 (diff)
  by Anonymouse on November 26, 2023 at 03:05:53.
• Revision 25 (diff)
  by Anonymouse on November 26, 2023 at 01:21:38.
• Revision 24 (diff)
  by Anonymouse on November 26, 2023 at 00:23:27.

November 25, 2023

• Revision 23 (diff)
  by Anonymouse on November 25, 2023 at 23:20:50.
• Revision 22 (diff)
  by Anonymouse on November 25, 2023 at 22:04:42.
• Revision 21 (diff)
  by Anonymouse on November 25, 2023 at 15:40:49.

November 23, 2023

• Revision 20 (diff)
  by Jack on November 23, 2023 at 22:39:00.

October 25, 2023

• Revision 19 (diff)
  by Anonymouse on October 25, 2023 at 22:07:39.

October 22, 2023

• Revision 18 (diff)
  by Anonymouse on October 22, 2023 at 02:36:03.

October 20, 2023

• Revision 17 (diff)
  by Anonymouse on October 20, 2023 at 12:20:51.
• Revision 16 (diff)
  by Anonymouse on October 20, 2023 at 05:33:44.

October 2, 2023

• Revision 15 (diff)
  by Anonymouse on October 2, 2023 at 22:29:34.
• Revision 14 (diff)
  by Anonymouse on October 2, 2023 at 21:35:37.
• Revision 13 (diff)
  by Anonymouse on October 2, 2023 at 20:13:03.

May 19, 2023

• Revision 12 (diff)
  by Guest on May 19, 2023 at 22:08:25.

February 3, 2023

• Revision 11 (diff)
  by Urs Schreiber on February 3, 2023 at 16:42:12.

January 9, 2023

• Revision 10 (diff)
  by Anonymous on January 9, 2023 at 20:28:39.

January 5, 2023

• Revision 9 (diff)
  by Anonymous on January 5, 2023 at 06:19:00.

July 11, 2022

• Revision 8 (diff)
  by varkor on July 11, 2022 at 23:21:46.

January 14, 2019

• Revision 7 (diff)
  by Mike Shulman on January 14, 2019 at 19:02:49.

February 27, 2018

• Revision 6 (diff)
  by David Corfield on February 27, 2018 at 09:55:25.

October 2, 2012

• Revision 5 (diff)
  by Urs Schreiber on October 2, 2012 at 22:22:50.

September 27, 2012

• Revision 4 (diff)
  by Urs Schreiber on September 27, 2012 at 11:27:47.

March 30, 2012

• Revision 3 (diff)
  by Toby Bartels on March 30, 2012 at 17:16:00.

March 26, 2012

• Revision 2 (diff)
  by Mike Shulman on March 26, 2012 at 22:47:50.
• Revision 1
  by Mike Shulman on March 26, 2012 at 21:25:20.