1,862 reputation
615
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 5 months
seen 5 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


Apr
20
revised Is this a correct characterisation of natural equivalence?
corrected my answer
Apr
20
revised Is this a correct characterisation of natural equivalence?
edited text and formulas
Apr
17
revised Algebraic topology and homotopy in category theory
More detailed title
Apr
17
revised Is there a category of categories?
edited title
Apr
16
revised Query on a simple exercise involving representations of functors.
edited small typo in formula
Apr
16
revised Conglomerate in mathematical literature.
added category theory tag
Mar
10
revised adjoints and duality
added tag reference-request
Mar
7
revised $\varnothing$ in the category of sets
edited small typos
Mar
5
revised How can a functor which preserves products not be natural?
edited small typos and slight change in style in the penultimate paragraph
Mar
5
revised How can a functor which preserves products not be natural?
edited Title and body for typos and style
Mar
3
revised Is it true to say that every tensor is an element of a monoid?
added second paragraph
Mar
3
revised Cocompletion and functor categories
edited some typos
Mar
3
revised The functor $\mathrm{Haus}\to\mathrm{Set}$ sending a space to its set of open sets is not representable?
edited title and some formulas
Feb
25
revised Functor from a category to an arrow category
Edited formula
Feb
22
revised Book Recommend Differential Geometry of Algebraic Manifolds
edited some typos
Feb
9
revised Prove a categorical statement
changed equality to isomorphism
Feb
6
revised 1-1 correspondence between nuclei and regular monomorphisms of a locale
edited small typos in title and body
Feb
4
revised Which of these constructions are left adjoints?
edited indiscrete category paragraph
Feb
4
revised Which of these constructions are left adjoints?
made small correction to exercise number
Feb
3
revised There are two types of functors; covariant and contravariant. Is it right?
edited small typos