meta user
network profile
| bio | website | wildcatsformma.wordpress.com |
|---|---|---|
| location | Somewhere over the rainbow | |
| age | ||
| visits | member for | 1 year, 6 months |
| seen | 4 mins ago | |
| stats | profile views | 146 |
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
|
38m |
comment |
How does one show that two functors are *not* isomorphic? what is the question in your opinion @MartinBrandenburg ? |
|
1h |
answered | How does one show that two functors are *not* isomorphic? |
|
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 | suggested 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 | suggested 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 | suggested 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. |
