"General set theory" . . . "ST" . . "axiom of adjunction" . . . "Adjunction" . . "General set theory" . . "S'" . . . "general set theory" .