nLab dependent pushout type (history)

May 14, 2025

• Current (diff)
  by p on May 14, 2025 at 23:08:54.

September 13, 2024

• Revision 6 (diff)
  by Anonymouse on September 13, 2024 at 22:05:04.

February 27, 2024

• Revision 5 (diff)
  by Anonymouse on February 27, 2024 at 22:23:15.

February 13, 2024

• Revision 4 (diff)
  by Madeleine Birchfield on February 13, 2024 at 18:30:14.

February 10, 2024

• Revision 3 (diff)
  by Madeleine Birchfield on February 10, 2024 at 23:22:34.
• Revision 2 (diff)
  by Madeleine Birchfield on February 10, 2024 at 21:33:48.
• Revision 1
  by Madeleine Birchfield on February 10, 2024 at 18:45:05.