Metadata
Author: WikiMatrix
Data
English[en]
General category theory, an extension of universal algebra having many new features allowing for semantic flexibility and higher-order logic, came later; it is now applied throughout mathematics.
Dutch[nl]
De algemene categorietheorie, een uitbreiding van de universele algebra, die diverse nieuwe onderdelen heeft, die semantische flexibiliteit en hogere-orde logica toestaat, kwam pas later, en wordt nu toegepast in de hele wiskunde.