2,150 reputation
618
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 9 months
seen 7 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


Jun
13
comment Is the comma category $y \downarrow X$ small?
nice! perhaps you could also add the proof that the homs in the comma category are small sets and thus show that the comma category is indeed small
Jun
11
answered Learning the topology needed for topos theory.
Jun
11
comment Left & right adjoints in the context of posets.
@OlivierBégassat "I can never remember which": Awodey teaches "Right adjoints preserve limits = RAPL". So just remember RAPL and use duality for left adjoints
Jun
9
awarded  category-theory
Jun
5
comment Uniqueness of the Comparison Functor
@Chilango you are welcome, my pleasure :-)
Jun
4
answered Uniqueness of the Comparison Functor
Jun
4
comment Uniqueness of the Comparison Functor
what does it mean $U\in D$ ? $U$ is a functor and $D$ is a category
Jun
4
comment Types, Sets and Categories
@CristianGarcia I am glad :-)
Jun
3
answered Types, Sets and Categories
May
30
revised Is there a concept of a “free Hilbert space on a set”?
edited typo in formula
May
30
suggested suggested edit on Is there a concept of a “free Hilbert space on a set”?
May
25
comment Exercise from Rotman, direct limit of quotient modules
@WLOG Thank you :-)
May
25
comment Exercise from Rotman, direct limit of quotient modules
@WLOG Could you please write where is this exercise in Rotman?
May
25
revised morphisms in $Vect_k^\otimes$
edited tex in title
May
25
suggested suggested edit on morphisms in $Vect_k^\otimes$
May
24
comment Showing that a diagram commutes in the most economical way
@R.N. It is a generalization of the situation depicted by Pece in his comment above
May
23
comment Showing that a diagram commutes in the most economical way
@R.N. I added an optimization procedure, perhaps this is what you were looking for
May
23
revised Showing that a diagram commutes in the most economical way
added optimization
May
23
comment Showing that a diagram commutes in the most economical way
@LeenDroogendijk What is a "directed $P_5$...." ? In any case, you (might) have a special category, but the question is very clear, in the last paragraph it says:"In general, given a diagram....", so your (or any other) special example is not relevant to the OP.
May
23
answered Showing that a diagram commutes in the most economical way