What is the proper definition of a proper map?
Here are a few definitions I've come across:
A continuous map $f: X \to Y$ is proper if preimages of compact subsets are compact.
A continuous map $f: X \to Y$ is proper if it is closed with compact fibres.
Kashiwara and Schapira define a map $f: X \to Y$ to be proper if it is closed and its fibres are compact and relatively Hausdorff (two distinct points in the fibre have disjoint neighbourhoods in $Y$).
Definitions 1. and 2. agree when $X$ is Hausdorff and $Y$ is locally compact Hausdorff. Kashiwara and Schapira state that definition 3. agrees with definition 1. when both $X$ and $Y$ are locally compact (and Hausdorff I assume?).
There are also notions of proper morphisms of schemes and proper geometric morphisms of topoi, though I do not really understand these yet. However, I would assume that they should be attempting to capture the same sort of notion of "properness" as in topological category.
It seems that a proper map in some category should satisfy some property, and I am wondering what that property should be. In other words, what is the correct "abstract" definition of properness? I have a feeling it should have something to do with a proper base change theorem in cohomology.