Being Van Kampen in Presheaf Topoi is a Uniqueness Property.

Harald König Uwe Wolter

Published in: CALCO (2017)

Keyphrases

database systems
sufficient conditions
machine learning
decision making
search algorithm
real time
databases
objective function
information technology
special case
desirable properties