Reputation
45,206
Next tag badge:
94/100 score
27/20 answers
Badges
2 57 131
Impact
~392k people reached

Jan
17
revised Abelian categories with tensor product
edited tags
Jan
15
revised Demonstrate currying via homomorphism
edited tags
Jan
14
revised Constant presheaf is not a sheaf
edited tags
Jan
12
revised Frobenius map in scheme theory
edited tags
Jan
12
revised Show that function $f: A \to B$ is surjective when there is an implication: $g \circ f = h\circ f \to g=h$
edited tags
Jan
8
revised Is there a multiple function composition operator?
added 16 characters in body
Jan
8
revised Betti number and the homology class - what determines the coefficient $Q$?
edited tags
Jan
7
revised Module of differentials in the functorial approach to schemes and quasi-coherent modules
deleted 8 characters in body
Jan
5
revised mapping cone and cylinder
edited tags
Jan
5
revised Precomposing a rational function $f$ with a birational isomorphism $g$ to make $f\circ g$ regular?
added 33 characters in body
Jan
5
revised What is the algebraic tangent cone really?
added 12 characters in body
Dec
26
revised The $C^k$ Sheaves
edited tags
Dec
24
revised Closed immersions are stable under base change
added 47 characters in body
Dec
24
revised What's the category-theoretical existence proof, and name, for this morphism?
added 30 characters in body
Dec
17
revised Colimit in the category of (all) simply transitive group actions
deleted 146 characters in body
Dec
12
revised What is the name of this letter?
deleted 2 characters in body
Dec
12
revised Module of differentials in the functorial approach to schemes and quasi-coherent modules
added 2 characters in body
Dec
7
revised Proving distributivity of Heyting algebras with the Yoneda lemma.
edited tags
Dec
7
revised Model structure on sSet
added 333 characters in body
Dec
6
revised Model structure on sSet
deleted 17 characters in body