Monoidal weak omega-categories as models of a type theory.

Thibaut Benjamin

Published in: CoRR (2021)

Keyphrases

experimental data
neural network
prior knowledge
statistical models
empirical data
machine learning
information retrieval
search engine
image sequences
model selection
theoretical framework
complex systems
autoregressive
theoretical models
equational theories