nLab
reflective product-preserving sub-(∞,1)-category - internal formulation (history)

November 21, 2011

• Current (diff)
  by Urs Schreiber at November 21, 2011 16:40:57 from 82.113.99.46
• Revision 1
  by Urs Schreiber at November 21, 2011 15:35:03 from 82.113.99.46