Ultrafilters, finite coproducts and locally connected classifying toposes.

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

Keyphrases

finite number
connected components
knowledge base
automatic classification
unit length
real time
machine learning
learning algorithm
image processing
digital libraries
mobile robot
real numbers