Základní pojmy z teorie kategorií - Sekanina, Milan (rz1, 1974)