Categories and functors - Pareigis Bodo (1970)