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


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$
Jul
27
comment Pushout from initial object isomorphic to coproduct
Martin could you please justify/explain the second isomorphism and confirm whether the third formula is a pullback?
Jul
21
revised Exercises in category theory for a non-working mathematican (undergrad)
edited small typos
Jul
5
comment Category of metric spaces versus category of non-empty spaces
@egreg could you please be clearer: do you prefer $\mathbf{Met}$ or $\mathbf{Met}_{\not=\emptyset}$ ?
Jul
4
answered What is the left adjoint of the forgetful functor from fields to integral domains?
Jul
4
revised Understanding morphisms in FinSet
edited small typos
Jul
2
awarded  Curious