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


May
30
suggested approved edit on Is there a concept of a “free Hilbert space on a set”?
May
25
suggested approved edit on morphisms in $Vect_k^\otimes$
Apr
27
suggested approved edit on How an axiomatic system is made?
Apr
20
suggested approved edit on Is this a correct characterisation of natural equivalence?
Apr
17
suggested approved edit on Algebraic topology and homotopy in category theory
Apr
17
suggested approved edit on Is there a category of categories?
Apr
16
suggested approved edit on Conglomerate in mathematical literature.
Apr
15
suggested approved edit on Query on a simple exercise involving representations of functors.
Mar
5
suggested approved edit on How can a functor which preserves products not be natural?
Mar
5
suggested approved edit on How can a functor which preserves products not be natural?
Mar
3
suggested approved edit on Cocompletion and functor categories
Mar
3
suggested approved edit on The functor $\mathrm{Haus}\to\mathrm{Set}$ sending a space to its set of open sets is not representable?
Feb
25
suggested approved edit on Functor from a category to an arrow category
Feb
22
suggested approved edit on Book Recommend Differential Geometry of Algebraic Manifolds
Feb
9
suggested approved edit on Prove a categorical statement
Feb
6
suggested approved edit on 1-1 correspondence between nuclei and regular monomorphisms of a locale
Feb
3
suggested approved edit on There are two types of functors; covariant and contravariant. Is it right?
Jan
28
suggested approved edit on Why are particular combinations of algebraic properties “better” (richer and more pervasive) than others?
Jan
22
suggested approved edit on Tensor product by UMP. Is this 'embeddable' in the theory of categories?
Jan
21
suggested approved edit on Showing monic arrows are iso