Reputation
51,565
Next tag badge:
99/100 score
25/20 answers
Badges
4 68 146
Impact
~510k people reached

Sep
29
revised Why homotopy category is not abelian?
edited tags
Sep
25
revised Inclusion $\mathbb{Z}\rightarrow \mathbb{Q}$ is a bijection?
edited tags
Sep
23
revised Cayley's theorem as a particular case of Yoneda's Lemma. Is my work correct?
edited title
Sep
17
revised Continuous Functor on Vector Spaces induces Functor on Vector Bundles
edited tags
Sep
10
revised Is there another well-pointed elementary topos satisfying internal choice without natural numbers object?
edited tags
Sep
9
revised Pointless Topology Text
edited tags
Sep
8
revised subobject classifier and characteristic arrow in presheaf topos
edited tags
Sep
3
revised A question about injective modules
edited tags
Aug
26
revised generalized affine scheme
edited tags
Aug
24
revised When does Sheafification commute with direct image?
edited tags
Aug
20
revised Composition of Dual Maps in (rigid) Monoidal Categories
edited tags
Aug
18
revised If weak-equivalences in a model category are generated by an equivalence relation $\sim$ on hom-sets…
edited tags
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