Univalent higher categories via complete Semi-Segal types.

Paolo Capriotti Nicolai Kraus

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

higher quality
object categories
neural network
information retrieval
object recognition
digital libraries
probabilistic model
object detection
image classification
broad categories