2,440 reputation
1721
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 3 years, 2 months
seen 13 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


Jan
16
revised Demonstrate currying via homomorphism
edited small typos
Jan
16
revised Demonstrate currying via homomorphism
edited small typos
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