The equivariant model structure on cartesian cubical sets.

Steve Awodey Evan Cavallo Thierry Coquand Emily Riehl Christian Sattler

Published in: CoRR (2024)

Keyphrases

experimental data
probability distribution
digital images
high level
objective function
expert systems
probabilistic model
formal model
conceptual model
mathematical model
semantic structure
information retrieval
network structure
computational model
parameter estimation
em algorithm
prior knowledge