2,320 reputation
620
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 11 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


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
answered A connected groupoid is equivalent to a groupoid with one object
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
5
revised Understanding the significance of a functor being full/faithful, especially with adjoints
added last paragraph
Oct
5
answered Understanding the significance of a functor being full/faithful, especially with adjoints
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?
Oct
4
answered Identifyng objects in a category
Sep
30
awarded  Explainer
Sep
24
awarded  Autobiographer
Sep
24
accepted Two point topological space
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
23
asked Two point topological space
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$
Sep
18
comment How would you describe category $\mathsf{Rel}$?
You did not overlook. ACC and CWM define different categories with the same name. You can also see my linked question math.stackexchange.com/q/787706/19609