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


Jan
5
reviewed Approve How is the number of possible pyramidal numbers calculated?
Dec
24
answered Uniqueness of morphism (reasoning in categorial language).
Dec
17
answered Generic elementary group theory problems.
Dec
15
answered Is every model of $\Gamma$ a model of $Cn(\Gamma)$?
Dec
13
comment Proving field of fractions
What's your definition of field of fractions?
Dec
11
revised How to understand the definition of sets in homotopy type theory and the role of univalence?
comepletly rewritten the answer
Dec
9
answered How to understand the definition of sets in homotopy type theory and the role of univalence?
Dec
9
comment Unit, co-unit of adjunction
@nicole I've added the details: actually we use indirectly yoneda via the property that I've stated above, but you can find that in every text book of category theory. Hope this details are enough to you. :) By the way I'm not an expert I'm just a student.
Dec
9
comment Unit, co-unit of adjunction
@nicole the fact that those are homomorphism is not deduced from anything, it's something the unit have to satisfies: since it's a family of morphisms of $\mathbf {Group}$.
Dec
9
revised Unit, co-unit of adjunction
added details
Dec
9
comment Unit, co-unit of adjunction
@nicole If you need more details feel free to ask.
Dec
9
answered Unit, co-unit of adjunction
Dec
8
answered Advice regarding best-practice mathematics / categorial logic.
Dec
5
reviewed Approve Lawvere theories: an equivalence.
Dec
5
reviewed Approve Foundation for category theory
Dec
5
awarded  category-theory
Dec
4
comment Lawvere theories: an equivalence.
@Shaun sure of course. Btw $\bullet$ the terminal object is also the empty product so it must exists in every category with finite products. :)
Dec
4
answered Lawvere theories: an equivalence.
Dec
1
answered Any group of odd square free order is cyclic
Nov
25
comment A problem with the interpretation of Kleene (Mathematical Logic) restrictions on deduction on FOL
That's why we need to add the requirement that the formulas in $\Gamma$ have to not contain any free occurrence of $x$. @MauroALLEGRANZA