Globular weak ω-categories as models of a type theory.

Thibaut Benjamin Eric Finster Samuel Mimram

Published in: CoRR (2021)

Keyphrases

statistical models
probabilistic model
computational models
data sets
computer vision
mathematical models
mathematical framework
real time
databases
neural network
model selection
complex systems
classification models
theoretical basis
theoretical models