A Theorem on Barr-Exact Categories, with an Infinitary Generalization.

Published in: Ann. Pure Appl. Log. (1990)

Keyphrases

database
digital libraries
brute force
efficient learning
von neumann
real time
data mining
knowledge base
case study
object recognition
object categories
exact solution
digital topology