Reputation
518
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
3 11
Newest
 Necromancer
Impact
~11k people reached

Jan
6
awarded  Necromancer
Sep
7
revised A “clean” approach to integrals.
updating dead link
Sep
7
suggested approved edit on A “clean” approach to integrals.
Sep
24
awarded  Autobiographer
Apr
7
awarded  Yearling
Feb
18
comment Definition of (projective ?) limit in a presheaf category.
"Projective limit" is their terminology for what is normally called a "limit". Their "inductive limit" is what is normally called a "colimit".
Dec
7
answered lambda calculus and category theory
Dec
7
answered Nice notation for projection maps
Dec
7
comment Good books and lecture notes about category theory.
Eilenberg and Mac Lane's original paper: General theory of natural equivalences says that they defined "category" to define "functor", and "functor" to define "natural transformation". But I get the impression that the category theorists of today don't take that remark all that seriously.
Nov
30
comment When should we take direct limit and when should we take inverse limit?
I think a correction is warranted: The direct limit is not a subset of the union. It is a quotient of the disjoint union.
Nov
30
answered Confused about the definition of a group as a groupoid with one object.
Nov
29
answered What is a (the?) good starting point for learning the modern “higher” mathematics?
Nov
29
answered How can we formalize $\mathrm{Subset}$, the “category” of all subsets?
Nov
15
answered Group identities and inverses
Sep
18
answered Category of Grp is not a subcategory of Set
Aug
9
revised Semidirect Products in category theory?
Added a hyperlink to the online version of Barr/Wells
Aug
9
suggested approved edit on Semidirect Products in category theory?
Aug
7
awarded  Excavator
Aug
7
revised Semidirect Products in category theory?
Corrected the reference to Barr/Wells section number
Aug
7
suggested approved edit on Semidirect Products in category theory?