2,150 reputation
618
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 9 months
seen 5 hours ago

My scientific interests:

  • Mathematics: Category Theory, Algebra, Logic (Model-Theory, ATP), Control Systems
  • Physics: General Relativity, QFT
  • Amateur Astronomer and Astrophotographer
  • Mathematica programming

My Website:WildCats
Premiere Mathematica package for category theory

Visit the newly launched Mathematica.SE!

My non-scientific interests:

  • Skiing, Sailing, Windsurfing
  • Argentine Tango dancer

More or less fluent in (random order):

Italian, English, German, French, Spanish, Dutch and struggling with Russian


Dec
4
revised Equivalence of categories and subcategories
Edited some small typos
Dec
4
revised Equivalence of categories and subcategories
added paragraph
Dec
4
answered Equivalence of categories and subcategories
Dec
4
comment Equivalence of categories and subcategories
"I heard that...", Objection your Honor, that's hearsay! :-) Welcome to math stackexchange sunflower. Please look at my answer below.
Dec
4
comment Equivalence of categories and subcategories
Welcome to math stackexchange Mauro. I do not think your post answers the question posed. It is just another (logically-equivalent) definition of categorical-equivalence
Nov
29
comment Prove the isomorphism of cyclic groups $C_{mn}\cong C_m\times C_n$ via categorical considerations
I have edited the title and added the group-theory tag
Nov
29
revised Prove the isomorphism of cyclic groups $C_{mn}\cong C_m\times C_n$ via categorical considerations
clarified title and added tag
Nov
29
suggested suggested edit on Prove the isomorphism of cyclic groups $C_{mn}\cong C_m\times C_n$ via categorical considerations
Nov
29
comment Prove the isomorphism of cyclic groups $C_{mn}\cong C_m\times C_n$ via categorical considerations
@jathd I (and you) know that - of course. But how is one supposed to find this question in the future if the words "cyclic groups" do not appear in the title? Try to put "C_n" in the search box and you will get a lot of questions relating to $C^n$, combinatorics, ect. And what if you put $C_k$ ? Besides, the mapping: mathematical_object -> notation is not injective. Meaning: there are or there might be other mathematical_objects having the same standard notation (in other areas of mathematics).
Nov
29
comment Prove the isomorphism of cyclic groups $C_{mn}\cong C_m\times C_n$ via categorical considerations
"As the title suggests" ???? what are the $C_n$? Groups, right? what kind of groups? You title does not suggest anything and is unsuitable for textual search. I invite you to clearly state the type of mathematical objects you are talking about and maybe add a group-theory related tag.
Nov
28
comment Relation-preserving maps as morphisms of a category
thank you @ZhenLin. Fixed.
Nov
28
revised Relation-preserving maps as morphisms of a category
Added:" the covariant powerset monad"
Nov
28
revised Relation-preserving maps as morphisms of a category
Added second paragraph
Nov
28
answered Relation-preserving maps as morphisms of a category
Nov
27
comment Why isn't every coproduct a product (and vice-versa)?
You are welcome Adam
Nov
26
comment Why isn't every coproduct a product (and vice-versa)?
good! now that you edited the question, I will upvote it
Nov
26
comment Why isn't every coproduct a product (and vice-versa)?
@ShadesOfGray please notice that, although my answer may appear to be personally directed to you, this is only for rhetorical purposes. My arguments are meant to be general, with no special reference to anyone
Nov
26
answered Why isn't every coproduct a product (and vice-versa)?
Nov
26
comment Why isn't every coproduct a product (and vice-versa)?
(continued) Having said all the above, your question is problematic: first you talk about U,V,X1,X2, then you introduce A and V, then you show a picture without U,A,V. Pretty confusing, wouldn't you say? Now, we are all smart people here and we can "guess" what you mean, but why should we make the effort? Can't you take a little time to review your question before posting it? I invite you to click on the "edit" button and edit your question to make it self-consistent.
Nov
26
comment Why isn't every coproduct a product (and vice-versa)?
Welcome to math.SE Shades! I suggest that you wait a few days before "accepting" an answer. This gives time/motivation to members in different time zones to post their best answers and you will ultimately get a higher quality explanation. You may also "un-accept" an answer and "accept" a better one, but this requires a comment/explanation on your part, as a matter of courtesy to the person who wrote the "un-accepted" answer. In general , it is better to avoid this. So...wait before accepting an answer. There is no rush. (continued)