6,431 reputation
1726
bio website poisson.phc.unipi.it/~mossa
location Earth
age 26
visits member for 3 years, 6 months
seen 14 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.


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 Normalizer of an open subgroup of a compact group
Mar
2
reviewed Approve 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?
Mar
1
comment Monomorphisms and Epimorphisms in the category of small categories
@user114885 I've added some stuff about epis too. Nonetheless I don't know if that can be enough for you. There's a claim (but I've not prove of it) for a possibile characterization of epis in $\mathbf {Cat}$.
Mar
1
revised Monomorphisms and Epimorphisms in the category of small categories
Address (partially) the last part of the question.
Feb
28
comment Monomorphisms and Epimorphisms in the category of small categories
I'd voluntarily left some of the details. Hope you don't mind.
Feb
28
answered Monomorphisms and Epimorphisms in the category of small categories