2,233 reputation
618
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 10 months
seen yesterday

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
11
comment Universal arrows' definition
Welcome Esther to math stackexchange! I am on the road so, if you can wait about 24 hours, I will post a precise answer to your question
Dec
8
comment Why isn't the covariant powerset functor representable?
Why do you write: "$\mc C(A,-)$ is contravariant" ?
Dec
7
comment The importance of parallel arrows in a commutative square
The above diagrams were composed with my package WildCats wildcatsformma.wordpress.com . It is a freely available category theory package for Mathematica from Wolfram Research
Dec
7
revised The importance of parallel arrows in a commutative square
added last paragraph
Dec
7
answered The importance of parallel arrows in a commutative square
Dec
7
comment The importance of parallel arrows in a commutative square
As far as I know, the term parallel arrows is reserved to arrows sharing the same domain and codomain. In this sense your title - as it stands - is a bit misleading. I would suggest changing it to something like: "The importance of commutative squares", which imho better describes your question/interest.
Dec
7
comment The importance of parallel arrows in a commutative square
@HagenvonEitzen Excellent metaphor!
Dec
4
revised Equivalence of categories and subcategories
changed "transforms" to "isomorphisms"
Dec
4
comment Equivalence of categories and subcategories
$\alpha$ and $\beta$ are natural isomorphisms, not just transformations. I edited accordingly
Dec
4
suggested suggested edit on Equivalence of categories and subcategories
Dec
4
comment Equivalence of categories and subcategories
Good catch @MauroPorta! However, in your same link you can see that there is another - weaker- definition of embedding (just full and faithful functor). I am correct according to this one. In any case my use of embedding was purely figurative. With "you can embed it into", I meant "you can put it into". Could you please explain what you mean by "N" and describe the equivalence in your comment above?
Dec
4
comment Equivalence of categories and subcategories
exactly sunflower, it is unnecessary that C is a subcategory, but obviously you can embed it into D, so you effectively have a subcategory C'
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