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


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 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.
Jun
13
comment Is the comma category $y \downarrow X$ small?
nice! perhaps you could also add the proof that the homs in the comma category are small sets and thus show that the comma category is indeed small
Jun
11
answered Learning the topology needed for topos theory.
Jun
11
comment Left & right adjoints in the context of posets.
@OlivierBégassat "I can never remember which": Awodey teaches "Right adjoints preserve limits = RAPL". So just remember RAPL and use duality for left adjoints
Jun
9
awarded  category-theory
Jun
5
comment Uniqueness of the Comparison Functor
@Chilango you are welcome, my pleasure :-)
Jun
4
answered Uniqueness of the Comparison Functor
Jun
4
comment Uniqueness of the Comparison Functor
what does it mean $U\in D$ ? $U$ is a functor and $D$ is a category
Jun
4
comment Types, Sets and Categories
@CristianGarcia I am glad :-)
Jun
3
answered Types, Sets and Categories
May
30
revised Is there a concept of a “free Hilbert space on a set”?
edited typo in formula