Eine konkrete Kategorie ist in der Mathematik eine Kategorie zusammen mit einem treuen Funktor von ihr in die Kategorie der Mengen („Vergissfunktor“). Eine Kategorie, zu der solch ein Vergissfunktor existiert heißt konkretisierbare Kategorie. Vermöge dieses Vergissfunktors kann man sich die Objekte der an sich abstrakten Kategorie auch als M...