Categorical structures for type theory in univalent foundations.

Benedikt Ahrens Peter LeFanu Lumsdaine Vladimir Voevodsky

Published in: CoRR (2017)

Keyphrases

theoretical framework
neural network
categorical data
theoretical basis
multiscale
genetic algorithm
learning algorithm
artificial intelligence
computer vision
decision making
image processing
website
three dimensional
attribute values
theoretical foundation
information theory