導来圏

い・けんdōrai·ken3

N.
Math. derivierte Kategorie f f.