Reputation
2,565
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
1 7 21
Impact
~22k people reached

May
21
comment A basic doubt on axiom of foundation of Zermelo-Fraenkel set theory
MarkS. and @AsafKaragila I know, I know, but I was under the impression that the OP thought it was relatively easy to come up with such a set S, so I encouraged him to actually do it.
May
21
answered A basic doubt on axiom of foundation of Zermelo-Fraenkel set theory
May
20
comment Preserving structures
great answer and great examples!
May
20
answered Does every category have a functor?
May
6
comment Existence of not locally small categories
can you link the question/answer that started your doubts?
May
5
comment About the category $\mathrm{Set}(G)$
what algebraic topology book are you using?
May
5
revised How to define topology in terms of subobjects?
edited small typos
May
5
suggested approved edit on How to define topology in terms of subobjects?
May
5
answered Thin categories: up to isomorphism Vs up to equivalance
May
5
revised Thin categories: up to isomorphism Vs up to equivalance
edited catlab -> ncatlab
May
5
suggested approved edit on Thin categories: up to isomorphism Vs up to equivalance
May
5
revised Left adjoint in a functor category
corrected grammar
May
5
suggested approved edit on Left adjoint in a functor category
Apr
30
comment Category theory $\subset$ Set theory or vice versa?
@Bento What book is it?
Apr
11
comment Category theory - what's the intuition behind diagrams?
actually I would slightly generalize and say that a commutative diagram is a functor on a preorder.
Mar
27
revised Definition of limit in category theory - is $X$ a single object of $J$ or a subset of $J$?
Edited some small typos
Mar
27
answered Definition of limit in category theory - is $X$ a single object of $J$ or a subset of $J$?
Mar
26
comment Distinguishing equality and isomorphism as relations
@alancalvitti The article on Equality is indeed a little bit confusing. I have already made some minor editing to it today, but I will extensively edit it in the next few days. You can look at its talk page in the mean time. Basically the problem lays in the fact that it uses the same symbol "=" to represent 2 different concepts: the equality, which is a logic constant and the identity relation, which is just another (albeit important) relation in set theory. I will also emphasize/clarify this point in my answer.
Mar
26
revised Distinguishing equality and isomorphism as relations
Edited some small typos
Mar
26
suggested rejected edit on Objects whose morphisms are all injective