User contributions for 71.162.223.22
Jump to navigation
Jump to search
24 January 2014
- 22:2722: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
- 17:4617: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