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


Aug
13
answered Help with exercise from the Category Theory Wikibook
Aug
13
reviewed Approve suggested edit on Limits of trigonometric functions as $x$ approaches to a constant $a$
Jul
27
comment Pushout from initial object isomorphic to coproduct
Martin could you please justify/explain the second isomorphism and confirm whether the third formula is a pullback?
Jul
21
revised Exercises in category theory for a non-working mathematican (undergrad)
edited small typos
Jul
5
comment Category of metric spaces versus category of non-empty spaces
@egreg could you please be clearer: do you prefer $\mathbf{Met}$ or $\mathbf{Met}_{\not=\emptyset}$ ?
Jul
4
answered What is the left adjoint of the forgetful functor from fields to integral domains?
Jul
4
revised Understanding morphisms in FinSet
edited small typos
Jul
2
awarded  Curious
Jun
30
comment Can I define a category as a monoid with partially defined multiplication?
It is more productive to think the other way around: a monoid is a category with just one object. So all proofs you have for categories are valid for monoids (plus there are others which only hold for monoids)
Jun
30
comment Collection vs set in this textbook about category theory, and some related questions.
Which textbook?
Jun
24
comment Is there such a thing as 'overtification' (dual to compactification)?
David: any duality principle relies on the logical structure of the axioms involved. So it relies on the quantifiers and logical connectives forming the axioms. This is no exception.
Jun
24
comment Is there such a thing as 'overtification' (dual to compactification)?
I join @MartinBrandenburg in asking more overtness in this definition :-)
Jun
24
answered Question on Category Theory injective morphism
Jun
20
accepted Adjoint situation induced on presheaves
Jun
20
comment Adjoint situation induced on presheaves
Thank you Pece. I managed to guess your first paragraph on my own, but I am/was not very familiar with the Kan extensions concept and notation
Jun
20
asked Adjoint situation induced on presheaves
Jun
15
awarded  Custodian
Jun
15
reviewed Approve suggested edit on Under what conditions can a function $ y: \mathbb{R} \to \mathbb{R} $ be expressed as $ \dfrac{z'}{z} $?
Jun
15
comment What is the use of generators of a category?
The terminology was "poorly chosen" (Maclane's words). A better name would be "separator" or "discriminator" (my word), because it helps discriminate one morphism from another
Jun
14
comment Is the comma category $y \downarrow X$ small?
Pece: I know, you know but...does everybody know? Indeed the OP explicitly asked for that.