Reputation
50,085
Next tag badge:
94/100 score
24/20 answers
Badges
2 65 139
Impact
~476k people reached

Nov
17
comment Maximal elements in $\operatorname{Proj}$
Isn't this the projective version of the Nullstellensatz?
Nov
16
answered Question on connected and locally connected geometric morphisms.
Nov
16
comment ETCS set theory: Are empty sets isomorphic?
That statement presupposes a notion of $\mathbf{Set}$, which is precisely what ETCS is axiomatising!
Nov
16
comment Why does the fiber coproduct in $\mathbf{Set}$ actually satisfy the universal property?
It should be a cofibred coproduct, then!
Nov
15
answered Symmetric groups and the “field with one element”
Nov
15
comment The twisted cubic is an affine variety.
Show that the quotient is an integral domain by exhibiting an explicit isomorphism with the polynomial ring in one variable.
Nov
15
comment What really is a colimit of sets?
I wouldn't say "some". I cannot recall a single example of "direct limit" which does not mean "directed colimit".
Nov
15
comment Characteristic properties for topological pushouts and pullbacks
It's exactly the reverse, actually.
Nov
15
comment Morita theory for simplicial rings
That sounds like what I imagined might exist!
Nov
15
comment ETCS set theory: Are empty sets isomorphic?
@magma That is not true. ETCS is formulated in an equivalence-invariant way, so it is perfectly possible to have more than one empty set.
Nov
15
comment Morita theory for simplicial rings
I have not seen a proof, but it seems reasonable.
Nov
15
comment Morita theory for simplicial rings
I think the version with simplicially enriched equivalences can be proved in exactly the same way. But perhaps the real question is whether there is a homotopical version of the Morita theorem.
Nov
14
reviewed Approve $g : Z \rightarrow W$ a regular covering map where $Z$ and $W$ are path-connected, and $\pi_1(Z)$
Nov
14
comment Why is it worth spending time on type theory?
That's because extensional type theory is so natural that it needs no introduction! This is what we mean when we say that type theory is closer to how working mathematicians think.
Nov
14
revised ETCS set theory: Are empty sets isomorphic?
added 166 characters in body
Nov
14
answered ETCS set theory: Are empty sets isomorphic?
Nov
14
comment ETCS set theory: Are empty sets isomorphic?
@Svinepels It is an axiom that there is an initial object. Are you asking whether a set that has no elements is initial?
Nov
14
revised ETCS set theory: Are empty sets isomorphic?
edited tags
Nov
14
comment ETCS set theory: Are empty sets isomorphic?
Any two initial objects are isomorphic, in a unique way. So it suffices to show that empty sets are initial.
Nov
14
comment Sheaffication using a $\lambda$-transfinite colimit
I am referring to Quillen's small object argument, which constructs factorisations with certain lifting properties. Sheafification is similar but not identical.