The closed graph theorem in various categories.