Jordan Mitchell Barrett
Apparently, this user prefers to keep an air of mystery about them.
-
Member for 2 years
-
1 profile view
-
Last seen Feb 2 at 2:28
Communities (10)
Top network posts
- 26 What is the endgoal of formalising mathematics?
- 11 Could we ever hope to integrate all functions?
- 10 When does a topos satisfy the axiom of regularity?
- 7 Non-set-theoretic consequences of forcing axioms
- 7 What is the endgoal of formalising mathematics?
- 5 Does the forgetful functor $U: \mathbf{Gph} \to \mathbf{Set}$ have a left adjoint?
- 5 Identity for categorical product is terminal?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.