2,373 reputation
1720
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 3 years, 1 month
seen 2 days 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


Nov
21
comment Why is this not a category?
Indeed the claim is false. Does this category of monotone functions have a standard name?
Nov
21
comment Why is this not a category?
your first formula has typos, you may wish to correct it
Nov
17
awarded  Yearling
Nov
15
comment On conglomerates' axiom of choice(Category theory)
User45765 What book/text are you referring to? The "Joy of cats" perhaps?
Nov
11
comment Connection between categorical notion of adjunction and dual space/adjoint in vector spaces
Can you please quote some economics textbook using these mathematics? The introductory textbooks I am aware of , barely use calculus.
Nov
7
answered Connection between categorical notion of adjunction and dual space/adjoint in vector spaces
Nov
5
comment Identifyng objects in a category
I never said the question was "stupid" or anything (I even upvoted it).I never said the question did not make sense at all. My advise was of a more general nature - a tactics you might say: whenever you want to invent/reinvent/discover/rediscover something in category theory, think at morphisms first, then objects will fall in line automatically. Granted,we intuitively all think in terms of objects, but the challenge (and the reward) in category theory is to think in terms of morphisms. Is this not true?
Oct
31
comment Functor between two categories
thank you.This result does not seem to be readily available everywhere, otherwise you would not need to ask us here. Is your course/homework online, so that I can see it ?
Oct
31
comment Functor between two categories
Was this question inspired by some book/text? Could you please post a reference?
Oct
30
reviewed Approve Solving a differential equation 1st order
Oct
30
revised Derive the unit from the adjunction
edited some text
Oct
30
comment Derive the unit from the adjunction
CWM 2nd ed. page 80 gives a clear derivation of the naturality of $\theta$ (he calls it $\phi$) both in $C$ and in $D$. This is a more general result than the one you wish to obtain. I also edited a couple of things.
Oct
29
comment Example of a homomorphism with a right or left inverse function that its right or left inverse is not a homomorphism
Please note that left and right inverses are not unique in general. So you should not ask about the left/right inverse, but about a left/right inverse.
Oct
27
revised Is a subobject classifier logically equivalent to set-inclusion?
added last paragraph
Oct
27
awarded  Electorate
Oct
27
answered Is a subobject classifier logically equivalent to set-inclusion?
Oct
26
revised Definition of a coproduct and its universal property - connection?
Edited grammar, syntax and formulas
Oct
26
revised Group objects in category of $\mathcal{Set}$ are groups - How to prove it?
Edited grammar in title
Oct
20
comment Relationships between initial/terminal objects and initial/terminal morphisms (if any) in the same category.
Alex it is a good answer in search of a question :-) in general limits, universals, adjoints and kan extensions can all be expressed in term of each other. This is explained eg. In CWM
Oct
20
comment bijective homomorphisms between non isomorphic posets, example , explanation needed
Awodey gives similar (or same ) exammple somewhere else when he speaks of invariants. Read further