… abelian sau mai pe scurt topos, autorul înţelege, o categorie abeliană satisfăcând axioma
AB5 a lui Grothendieck şi având un generator. Se demonstrează aşa numita teoremă Krull-…

… this category every strongly pure closed subobject of a pure quotient finite dimensional object
of every class … Herbera’nın [32]’de C bir Grothendieck kategori olmak üzere eger A, sonlu …