Towards a Categorical Foundation of Mathematics.

Published in: Logic Colloquium (1995)

Keyphrases

computer science
categorical data
objective function
computer algebra
computer assisted instruction
numerical data
theoretical foundation
attribute values
multi agent systems
database
web services
web pages
artificial intelligence
learning algorithm
data mining
neural network
databases