1,431 reputation
314
bio website
location Padua, Italy
age 23
visits member for 1 year, 2 months
seen Oct 4 at 10:38

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.


Aug
11
awarded  Yearling
Jul
2
awarded  Curious
May
11
awarded  Mortarboard
May
9
accepted Existence and uniqueness of particular binary operations on a lattice
May
8
awarded  Revival
May
4
reviewed Reviewed Is the Dirac measure named after P.A.M. Dirac?
May
4
answered Axiom of Choice - Type Theory (Proof)
Apr
27
comment Diagonalization out of partial recursive functions
What makes you think that $\phi$ should be recursive? Can you give an effective procedure for computing $\phi$?
Apr
9
reviewed Reviewed strong topology = inductive limit topology on duals of projective limits
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