Formalizing the ∞-Categorical Yoneda Lemma.

Nikolai Kudasov Emily Riehl Jonathan Weinberger

Published in: CPP (2024)

Keyphrases

categorical data
johnson lindenstrauss
numerical data
decision trees
multiscale
domain knowledge
attribute values
numerical values
databases
information retrieval
decision making
training data
high dimensional