5,526 reputation
1522
bio website poisson.phc.unipi.it/~mossa
location Earth
age 25
visits member for 2 years, 10 months
seen 20 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
13
reviewed Approve suggested edit on How to prove that $n^7\equiv n^3\mod40,\forall n\in\mathbb{Z}$
Jan
13
awarded  Custodian
Jan
13
reviewed Close Proving equality of the limits of two sequences
Jan
13
revised Optimization and distance (minimum time)
calculation corrected
Jan
11
comment Is there a category-theoretic definition of induced subquivers (subgraphs, subposets etc.)?
The reason why I called this category $U^{-1}(f)$ is because in the case of concrete categories (where the functor $U$ reflect monomorphisms) the construction is simply the fiber of the object $f \colon V \to U(Q)$ in the slice category $\mathbf{Set}/U(Q)$ through teh functor induce by $U$ between the slice categories $\mathcal C/Q$ and $\mathbf {Set}/U(Q)$.
Jan
11
comment Is there a category-theoretic definition of induced subquivers (subgraphs, subposets etc.)?
@user18921 I don't know which version you've seen, but the construction in the last one works for quivers too.
Jan
11
comment Is there a category-theoretic definition of induced subquivers (subgraphs, subposets etc.)?
@user18921 is this what you were looking for?
Jan
11
revised Is there a category-theoretic definition of induced subquivers (subgraphs, subposets etc.)?
generalized the answer
Jan
11
answered Is there a category-theoretic definition of induced subquivers (subgraphs, subposets etc.)?
Jan
11
comment Is there a category-theoretic definition of induced subquivers (subgraphs, subposets etc.)?
@user18921 damned hurry in digitation, I meant quivers :P My bad.
Jan
11
comment Is there a category-theoretic definition of induced subquivers (subgraphs, subposets etc.)?
Are you sure you're interested in concrete categories? Because quivers shouldn't be concrete in nlab sense.
Jan
11
revised How to understand the definition of sets in homotopy type theory and the role of univalence?
improved the answer
Jan
9
answered Definition of a topological space
Jan
7
comment What can we learn about a magma by studying these monoids?
Something could be said: if I'm not wrong associativity of $X$ is equivalent to requiring that every element of $\text{im} L$ commute with every element of $\text{im} R$. I'm not aware if there are other properties of this kind.
Jan
6
revised What are some examples of hard theorems in category theory?
edited body
Jan
6
revised Creates limits and preserve limits
added 876 characters in body
Jan
6
answered Creates limits and preserve limits
Jan
6
comment Creates limits and preserve limits
Actually creating and reflecting limits are different things as shown in either this link or this other link.
Jan
5
reviewed Approve suggested edit on How is the number of possible pyramidal numbers calculated?
Dec
24
answered Uniqueness of morphism (reasoning in categorial language).