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.
Η γενική Θεωρία Κατηγοριών, μια επέκταση του καθολικού που πολλά νέα χαρακτηριστικά γνωρίσματα που επιτρέπουν τη σημασιολογικές ευελιξία και τη λογική υψηλός-διαταγής, ήρθε αργότερα εφαρμόζεται τώρα σε όλα τα μαθηματικά.