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

8h
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
Jan
7
revised Understanding types and the proof that every type is realized in an elementary extension.
The tag type-theory is innapropriate for the question
Jan
6
revised What is this categorical notion called?
Correct some errors
Dec
22
revised Homology functors preserve coproducts
added 64 characters in body
Dec
22
revised What Does “Same Algebraic Structure” Mean?
Grammar corrections
Aug
23
revised Prime ideals in $R[x]$, $R$ a PID
Deleted wrong answer, made some comments to help the OP solving the wished problem.
Jul
31
revised Failure of group definition with weaker axioms
Added stuff
Jul
12
revised When the unit of a universal property is an isomorphism
Made a correction
Jul
3
revised A functor preserves a product of $A$ and $B$ iff $F(A \times B) \cong F(A) \times F(B)$?
added 37 characters in body
Jul
3
revised A functor preserves a product of $A$ and $B$ iff $F(A \times B) \cong F(A) \times F(B)$?
added 270 characters in body
Jun
23
revised Category of sets and multi-valued functions
corrected and equation