Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AGI

Go back to the tag's page.

type time link
changed the statement and the proof 2021-04-04 8c0892c
Improve discussion in spaces-pushouts
moved the statement to file spaces-pushouts.tex 2014-07-15 d8e00c5
Move material on formal glueing to spaces-pushouts.tex
assigned tag 0AGI 2014-06-27 d3f2e91
Tags: Added new tags

Also fixed a few references
created statement with label lemma-coequalizer-glue in resolve.tex 2014-06-25 9f4531d
Coequalizers of some natural equivalence relations

The first result is that if Y ---> X is surjective proper, then
the coequalizer of the two maps Y x_X Y ---> Y exists, is finite over X
and is in fact universally homeomorphic to X.

The second result says something more if Y consists of a blowing up in a
closed disjoint union the closed.