The Stacks project

Change definition proper map topological spaces

Thanks to Brian Conrad

The comments in the introduction to the section discussing proper maps
of topological spaces are thanks to Brian.

Corrections to chapter on Topology

Thanks to Wouter Zomervrucht

Clarify proof equivalent notions proper continuous maps

Thanks to Hanno Becker
http://stacks.math.columbia.edu/tag/005M#comment-465

LaTeX

Added a new macro

\def\Im{\text{Im}}

and replaced all occurrences of \text{Im} by \Im

Small changes

Mostly typos

Thanks to Albert Gunawan

Whitespace changes

Morphisms: Simplification of a proof

	Somewhat random lemma on dimensions had a overly complicated
	proof. We also found some labels with spaces in them.

	modified:   limits.tex
	modified:   morphisms.tex
	modified:   tags/tags
	modified:   topology.tex

Morphisms: Simplification of a proof

	Somewhat random lemma on dimensions had a overly complicated
	proof. We also found some labels with spaces in them.

	modified:   limits.tex
	modified:   morphisms.tex
	modified:   tags/tags
	modified:   topology.tex

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

Switch to home

	modified:   schemes.tex
	modified:   topology.tex

Material by Fan Zhou on proper maps of topological spaces

	modified:   CONTRIBUTORS
	modified:   my.bib
	modified:   topology.tex