magma

less info
meta site favicon meta user | stack exchange network profile network profile
1,146 reputation
412
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 1 year, 6 months
seen May 7 at 21:17
stats profile views 142

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


55 Suggestions

suggestions reviews revisions comments badges posts accepts all
May
5
 suggested suggested edit on How to define topology in terms of subobjects?
May
5
 suggested suggested edit on Thin categories: up to isomorphism Vs up to equivalance
May
5
 suggested suggested edit on Left adjoint in a functor category
Mar
26
 suggested suggested edit on Objects whose morphisms are all injective
Mar
8
 suggested suggested edit on If we have an equivalence relation on a class, is it possible to define what it means for the collection of equivalence “to be a set”?
Mar
6
 suggested suggested edit on If $C'$ is a subcategory of $C$, why can $\mathrm{Hom}_C(X, Y)$ and $\mathrm{Hom}_{C'}(X, Y)$ be different?
Feb
17
 suggested suggested edit on In what sense is the forgetful functor $Ab \to Grp$ forgetful?
Feb
10
 suggested suggested edit on Reference request - being rigorous about a common abuse of notation.
Jan
21
 suggested suggested edit on Fixed points in category theory
Jan
9
 suggested suggested edit on Product in a preorder
Jan
5
 suggested suggested edit on Show that the powerset partial order is a cartesian closed category.
Dec
11
 suggested suggested edit on How to characterize categories which their only isomorphisms are identities?
Dec
4
 suggested suggested edit on Equivalence of categories and subcategories
Nov
29
 suggested suggested edit on Prove the isomorphism of cyclic groups $C_{mn}\cong C_m\times C_n$ via categorical considerations
Nov
24
 suggested suggested edit on When and why do products preserve pushouts?
Nov
14
 suggested suggested edit on What is the circumstances of switching to the non-mainstream notation for composition of morphisms?
Nov
11
 suggested suggested edit on To what extent do functors map “elements” of an object to “elements” of another object in concrete categories?
Nov
11
 suggested suggested edit on natural isomorphism in linear algebra
Jul
6
 suggested suggested edit on When equal products imply equal factors?
Jul
6
 suggested suggested edit on When equal products imply equal factors?
1 2 3