The closed graph theorem in various categories.

About these ads