« first day (820 days earlier)      last day (2583 days later) » 

17:00
More AG-related, but suppose I have a closed immersion of schemes $f:Y \to X.$ Suppose further that I have a map $g:Y \to Spec A$ for some A. When will the pushout of f and g exist in the category of schemes?
17:13
returning to K.S. Brown, the automatically-generated bibtex (coming from mathscinet) prints in all-caps: TITLE = {A{BSTRACT} {HOMOTOPY} {THEORY} {AND} {GENERALIZED} {SHEAF} {COHOMOLOGY}}
is it reasonable to de-cappify this, or will that screw up all the automated citation-counter robots or whatever?
@Dedalus, sufficient conditions are that $g$ is a closed immersion, or if $f$ has the further property that it is an isomorphism on reduced subschemes. Neither of these conditions use that the target of $g$ is affine.
 
2 hours later…
19:32
What does the notation "kO" mean explicitly? I assume kO is somehow only finitely truncated (not connective "ko"), but how?
 
4 hours later…
23:10
@AaronMazel-Gee Huh, I must have fixed it myself in my database, then
I doubt capitalisation is considered by the algorithms

« first day (820 days earlier)      last day (2583 days later) »