User contributions for 71.162.223.22

24 January 2014

• 21:2721:27, 24 January 2014 diff hist +15,351 N Quotient group →Motivation for definition: this is really a motivation for the division-like syntax and naming, not for the definition itself

20 January 2014

• 16:4616:46, 20 January 2014 diff hist +23,198 N Fibred category →Cartesian morphisms and functors: being cartesian is with respect to a functor, not its codomain