In de categorietheorie, een deelgebied van de wiskunde, wordt een concrete categorie vaak opgevat als een categorie, waarvan de objecten gestructureerde verzamelingen zijn, waarvan de morfismen structuurbehoudende functies zijn, en waarvan de samenstellende operatie de samenstelling van functies is. Wikipedia