2,373 reputation
1720
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 3 years, 1 month
seen Dec 15 at 15:38

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


Oct
30
revised Derive the unit from the adjunction
edited some text
Oct
27
revised Is a subobject classifier logically equivalent to set-inclusion?
added last paragraph
Oct
26
revised Definition of a coproduct and its universal property - connection?
Edited grammar, syntax and formulas
Oct
26
revised Group objects in category of $\mathcal{Set}$ are groups - How to prove it?
Edited grammar in title
Oct
5
revised Understanding the significance of a functor being full/faithful, especially with adjoints
added last paragraph
Sep
4
revised Is there a name for taking the pushforward (ie pushout) over the pullback?
used standard terminology in title
Sep
3
revised Proof of $x*0=0$ is invalid?
added the axioms description
Jul
21
revised Exercises in category theory for a non-working mathematican (undergrad)
edited small typos
Jul
4
revised Understanding morphisms in FinSet
edited small typos
May
30
revised Is there a concept of a “free Hilbert space on a set”?
edited typo in formula
May
25
revised morphisms in $Vect_k^\otimes$
edited tex in title
May
23
revised Showing that a diagram commutes in the most economical way
added optimization
May
4
revised Relations between monoids and modules?
edited small typo
May
4
revised Notation for the set of monomorphisms in $\mathrm{Hom}(A,B)$
edited small typos
May
4
revised Natural transformation is a mono iff the components are.
added last paragraph
Apr
27
revised How an axiomatic system is made?
edited small typos
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