849 reputation
211
bio website
location Padua, Italy
age 22
visits member for 8 months
seen 9 mins ago

I am a student of the Master's program in Mathematics at the University of Padua, Italy. My main interests are type theory, category theory and computability.


Apr
9
reviewed Reviewed strong topology = inductive limit topology on duals of projective limits
Apr
9
reviewed Reviewed Roots of the quadratic equation, $\alpha$ and $\beta$
Apr
9
reviewed Reviewed Initial F-algebra and its isomorphic arrow proof
Mar
31
reviewed Reviewed Verify that $\nabla(A\cdot B) = (B\cdot\nabla)A + (A\cdot\nabla)B + B\times(\nabla\times A) + A\times(\nabla\times B)$
Mar
28
reviewed Reviewed statistical analysis of discrete (non-uniform) p-values: cryptographical random data test
Mar
24
reviewed Reviewed What is the cartesian product of a non empty set and a set containing an empty set (or $X_1 \times \{ \emptyset \}$ )?
Mar
24
reviewed Reviewed Is it possible that $f_1,f_2,\dots,f_n$ are not all differentiable, but $\alpha:I\to \Bbb{R^n}$ is differentiable?
Mar
14
answered Some reference for categorical logic?
Mar
3
reviewed Reviewed Prove that this particular sequence contains an infinite number of sixes
Mar
3
reviewed Reviewed The concept of a module resolution
Mar
1
asked Internal additions in additive categories agree with given ones
Feb
24
awarded  Civic Duty
Feb
22
reviewed Reviewed A bijective function
Feb
4
comment Is this deduction in normal form?
What is your definition of "normal form"?
Jan
13
reviewed Reviewed Real Analysis - convergence question
Jan
9
reviewed Reviewed Find the next number in this sequence
Jan
9
reviewed Reviewed Weak Hausdorff space not KC
Jan
7
reviewed Reviewed Linear algebra, affine space, and floor function
Jan
1
reviewed Reviewed Composition of three functions
Dec
30
reviewed Reviewed Bounds on the Twin Prime counting function