On an Essentially Algebraic Theory for Locally Presentable Categories.

Christian Dzierzon

Published in: Appl. Categorical Struct. (2006)

Keyphrases

computer algebra
theoretical basis
mathematical theory
algebraic structure
algebraic geometry
decision trees
formal theory
neural network
artificial intelligence
higher order
computational model
linear algebra
globally consistent