Reputation
8,981
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 33
Newest
 Nice Answer
Impact
~110k people reached

Apr
15
revised How to prove this Category Theory theorem?
Make some improvements
Apr
9
revised Free monoidal category over a set
Added specifications
Apr
8
revised Free monoidal category over a set
Made a correction
Feb
17
revised Defining Surjection as an Implication
Add a correction
Feb
16
revised Defining Surjection as an Implication
Corrected a typo
Feb
16
revised Defining Surjection as an Implication
Corrected typo
Feb
16
revised Defining Surjection as an Implication
added 4 characters in body
Feb
16
revised Defining Surjection as an Implication
Corrected a typo
Feb
15
revised Does one need to learn set theory before learning category theory?
Corrected a grammar error
Feb
15
revised Does one need to learn set theory before learning category theory?
Added specifications
Feb
10
revised Explain “homotopy” to me
Fixed grammar
Feb
7
revised Can we define structures like groups or monoids in the context of pure category theory?
Added remarks
Feb
1
revised Prove that a group G is finitely generated if and only if there is a surjective homomorphism $F(\{1,..,n \}) \to G$
Grammar fix
Jan
31
revised Defining natural transformations based on generalized elements?
Grammar corrections
Jan
27
revised Do mathematical objects have underlying types?
Left unrelated tags
Jan
27
revised If $F : \mathbf{C} \to \mathbf{D}$ is an equivalence, does $\alpha_{GD} = G(\beta_D)$ hold in general?
added 6 characters in body
Jan
27
revised If $F : \mathbf{C} \to \mathbf{D}$ is an equivalence, does $\alpha_{GD} = G(\beta_D)$ hold in general?
Make a correction
Jan
24
revised Homotopy equivalent but not deformation retraction
corrected a typo
Jan
11
revised Slice of opposite category equivalent to coslice of category?
changed the direction of the arrows
Jan
11
revised codiagonal functor and faithfullness
Added a remark