Univalent categories and the Rezk completion.

Benedikt Ahrens Krzysztof Kapulkin Michael Shulman

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

wide range
object recognition
machine learning
artificial intelligence
databases
social networks
decision trees
objective function
object categories
automatic classification