nLab
indexed adjoint functor theorem (history)

November 18, 2011

• Current (diff)
  by Urs Schreiber at November 18, 2011 21:05:16 from 82.113.99.49
• Revision 1
  by Urs Schreiber at November 18, 2011 12:26:13 from 217.232.18.193