Reputation
49,930
Next tag badge:
99/100 score
28/20 answers
Badges
2 65 138
Newest
 Good Answer
Impact
~473k people reached

Aug
16
revised Is the Quillen Injective Model Structure on the category of positive cochain complexes of R-modules (co)fibrantly generated?
edited tags
Jul
30
revised Constructing a HoTT proof term of 1≠0
edited tags
Jul
27
revised Does the inverse image sheaf have a left adjoint for $\mathsf{Set}$-valued sheaves?
edited tags
Jul
27
revised Does an equivalence of $G$-sets and $H$-sets imply an isomorphism of $G$ and $H$?
edited tags
Jul
20
revised On two definitions of the nerve of a simplicial category
edited tags
Jul
14
revised Canonical arrow between $\varinjlim _C \varprojlim _D F(C,D)\rightarrow \varprojlim_D \varinjlim _CF(C,D)$ in $\mathsf{Set}$
edited body
May
19
revised An injective morphism between varieties that is not an immersion
added 267 characters in body
May
18
revised Inclusions of CW-complexes are cofibrations.
edited tags
May
18
revised Various definitions of group action
deleted 78 characters in body
May
17
revised Compactness and directed systems of subspaces
added 7 characters in body
May
11
revised Some questions about écarts
deleted 8 characters in body; edited title
May
6
revised Module of differentials in the functorial approach to schemes and quasi-coherent modules
added 78 characters in body
May
5
revised Which axiom of set theory does this formula represent ? Why?
edited tags
Apr
29
revised Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?
deleted 15 characters in body
Apr
29
revised $\{P\}^-$ notation in Algebraic Geometry
edited tags
Apr
28
revised Adjoints functors in scheme theory
edited tags
Apr
27
revised Equivalence of category of subsets and subobjects
edited tags
Apr
26
revised Is a topological space $X$ the colimit of an open cover $\cup U_i$ in this way?
edited tags
Apr
21
revised Does the functor $\mathbf{cosk_n}:sSet\to sSet$ preserve Kan complexes?
added 106 characters in body
Apr
14
revised Subobjects(A) $\cong \operatorname{Hom}(A,\Omega)$ in a topos is a natural transformation?
deleted 31 characters in body