Decidable, categorial set theory generalizes axiomatic set theory - Kuck, Conrad (Bonifatius, 1995)