6,136 reputation
1623
bio website poisson.phc.unipi.it/~mossa
location Earth
age 26
visits member for 3 years, 2 months
seen Aug 6 at 12:58

I'm math student, in particular I'm interested in algebra, geometry, topology and category theory (especially higher dimensional category theory) and its application in mathematics.


Apr
9
answered Preservation of Limit by Hom: Naturality Question.
Apr
8
comment Do we lose everything, if the natural transformations in a monad are exactly inverse?
@NiftyKitty95 $\eta_{TA} \circ \mu_A$ while being well typed is usually false for monads. Consider $T$ the free monoid monad then for every set $X$ we have $T(X)$ the free-monoid. Now $\mu_X((x),(y))=(x,y)$ where $x,y \in X$ and $\eta_{TX}\circ \mu_X ((x),(y))=((x,y)) \ne ((x),(y))$ to $\eta_{TX} \circ \mu_X \ne 1_{TTX}$.
Mar
31
answered Showing hom-sets are disjoint in a morphism category
Mar
31
comment Spec($A$) is connected if $A$ is local
@WLOG Right I supposed that it was well known notation: $D(I) = Spec(R) \setminus V(I)$ a standard open set.
Mar
31
answered Spec($A$) is connected if $A$ is local
Mar
31
revised Spec($A$) is connected if $A$ is local
Corrected a typo.
Mar
24
comment What is category theory?
@AsafKaragila I would glad to hear your opinion about it :) (maybe in a chat?)
Mar
24
comment What is category theory?
@Number9 "is category theory widely accepted?" the answer is "it depends, what do you mean for category theory being accepted?"
Mar
24
comment What is category theory?
@Number9 You need collections like the class of all set, of all groups and so on. If you just stop to classes you could add just those axioms that ensure the existance of such families. Of course Grothendieck axioms give all that, but it also allows to use bigger collections.
Mar
24
answered What is category theory?
Mar
13
awarded  Enlightened
Mar
13
awarded  Nice Answer
Mar
6
comment Systems the Peano axioms can be derived in
@TimSeguine of course but I that's mostly because Category theory is the same as type theory for the computational trinitarianism.
Mar
6
awarded  Organizer
Mar
6
revised Systems the Peano axioms can be derived in
added logic tag
Mar
6
answered Systems the Peano axioms can be derived in
Mar
5
comment Systems the Peano axioms can be derived in
Are you looking for other system capable of internalize Peano arithmetic?
Mar
2
reviewed Approve suggested edit on Normalizer of an open subgroup of a compact group
Mar
2
reviewed Approve suggested edit on Irreducible polynomials as formal power series
Mar
1
comment Proof of $(\forall x. \varepsilon(x)) \Rightarrow \bot $ in $\lambda\pi $ calculus $\equiv$
Can you give more details on the notation?