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


1d
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
Sep
8
comment Are some of the Real number axioms redundant?
@Inequality welcome to Math.SE ! I would like to suggest: before accepting an answer, wait a bit. This encourages others to come with more and possible better answers. Please also note that you can always change your mind and accept another - later - answer. This however is going to disappoint the first accepted answerer, that's why it is better to wait a bit. There is no hurry.
Sep
4
comment Is there a name for taking the pushforward (ie pushout) over the pullback?
@MoziburUllah I edited the title accordingly
Sep
4
revised Is there a name for taking the pushforward (ie pushout) over the pullback?
used standard terminology in title
Sep
3
comment Stephen Wolfram on axiomatic systems?
Welcome to Math.SE Qtian.
Sep
3
comment Stephen Wolfram on axiomatic systems?
@Qtian You are welcome :-)
Sep
3
answered Proof of $x*0=0$ is invalid?
Sep
3
answered Stephen Wolfram on axiomatic systems?
Sep
3
comment Proof of $x*0=0$ is invalid?
@TylerMurphy I added the axioms description in the second paragraph. If you do not specify your axioms, people here on SE might have trouble seeing what is allowed and what is not, in building the proof. Please see also my answer below, shortly
Sep
3
revised Proof of $x*0=0$ is invalid?
added the axioms description
Aug
29
answered Product in the category of pointed sets..
Aug
13
answered Help with exercise from the Category Theory Wikibook
Aug
13
reviewed Approve suggested edit on Limits of trigonometric functions as $x$ approaches to a constant $a$