39,675 reputation
246119
bio website
location
age
visits member for 3 years, 11 months
seen 44 mins ago

May
26
comment Nonsingular affine curve which is not unmixed
What is your definition of curve? I would say that a subvariety that has a point as an irreducible component is not a curve, simply because a point is 0-dimensional.
May
24
comment Spheres in different dimension are not homotopy equivalent
Well, the spheres (for $n > 1$) are all simply-connected, so there aren't any interesting covering spaces...
May
24
comment Questions about epimorphisms and projectives in functor categories
See this question.
May
24
answered Does taking the direct limit of chain complexes commute with taking homology?
May
24
comment Questions about epimorphisms and projectives in functor categories
I meant each $@_i$ has a left adjoint. Of course, this is because each $@_i$ is representable, as you observed.
May
23
comment Questions about epimorphisms and projectives in functor categories
Each representable presheaf $\mathcal{I}(i, -)$ is free because it occurs as the image of $1$ under the left adjoint of the evaluation-at-$i$ functor. (This, in some sense, is the content of the Yoneda lemma.) That they are projective is easily shown to be a consequence of this, exactly like how free modules are projective. For the canonical projective covering of a presheaf $P$, just take the collection of all morphisms from any representable presheaf to $P$, and then take the amalgamation of all those.
May
23
answered Analogy between prime numbers and singleton sets?
May
23
revised Questions about epimorphisms and projectives in functor categories
added 234 characters in body
May
23
answered Questions about epimorphisms and projectives in functor categories
May
23
comment a group is not the union of two proper subgroups - how to internalize this into other categories?
My previous comments about toposes with enough points were incorrect; please disregard.
May
23
revised a group is not the union of two proper subgroups - how to internalize this into other categories?
deleted 629 characters in body
May
23
comment uniformization theorem - squares and circles
The closed square is not a Riemann surface – it isn't even a manifold without boundary!
May
23
revised Grothendieck topology on pre/sheaves
added 161 characters in body
May
23
comment Grothendieck topology on pre/sheaves
That defines, at best, a pretopology. However the sieve generated by any such family is a covering sieve in the canonical topology.
May
23
comment What are some examples of subtle logical pitfalls?
Actually, the construction of JDH indicated here shows that Fact I is enough to construct, within any given model of ZFC, a transitive set that externally is a model of ZFC!
May
23
answered Grothendieck topology on pre/sheaves
May
23
revised a group is not the union of two proper subgroups - how to internalize this into other categories?
added 669 characters in body
May
23
revised a group is not the union of two proper subgroups - how to internalize this into other categories?
added 10 characters in body
May
23
revised a group is not the union of two proper subgroups - how to internalize this into other categories?
added 506 characters in body
May
23
revised a group is not the union of two proper subgroups - how to internalize this into other categories?
added 2327 characters in body