2,368 reputation
1720
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 3 years
seen yesterday

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