6,166 reputation
1625
bio website poisson.phc.unipi.it/~mossa
location Earth
age 26
visits member for 3 years, 3 months
seen 6 hours ago

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
11
revised Query on a simple exercise involving representations of functors.
Added specifications
Apr
11
comment Query on a simple exercise involving representations of functors.
It follows by the definition of the yoneda isomorphism. In some minutes I'm gonna add that to the answer. :)
Apr
11
answered Query on a simple exercise involving representations of functors.
Apr
10
revised When is $\langle x,y\rangle$ equal to $\langle x\rangle\langle xy\rangle$?
edited title
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