2,373 reputation
1720
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 3 years, 1 month
seen Dec 15 at 15:38

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
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
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
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
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
Oct
16
comment Natural isomorphisms of the forgetful functor
Thank you @Pece I have seen the corresponding edit
Oct
15
comment Natural isomorphisms of the forgetful functor
sorry if this is a silly question, but I am a bit groggy right now, but what is g and what is g^z? are you describing the components of natural transformation $\eta (z)$ ?
Oct
15
comment Natural isomorphisms of the forgetful functor
Nice question! Does it come from a textbook? if yes, which one?
Oct
10
comment How to prove uniqueness of *wannabe* final object in a slice category?
Aluffi himself in his book hints at how you can attack this problem, by checking the various projections, as also @martin suggests. However I understand and share your appetite for a categorical proof. If you are a bit patient, I will write one shortly
Oct
4
comment Understanding the significance of a functor being full/faithful, especially with adjoints
Could you please cite the author of the book you are referring to. The title is a bit vague
Oct
4
comment Is the pullback of a *not necessarily continuous* open map along a continuous map open?
what does it mean "pullback of sets"? Do you mean "pullback in Set or Top"? or in other category?
Sep
23
comment Two point topological space
I knew about the the representation. Any other interesting categorical property?
Sep
23
comment Two point topological space
@AlexR yes exactly
Sep
18
comment Topology making a family of functions optimal
I think you meant "...we obtain a base $\cal B$ for the topology on $X$" not $Y$