Formalizing the ∞-categorical Yoneda lemma.

Nikolai Kudasov Emily Riehl Jonathan Weinberger

Published in: CoRR (2023)

Keyphrases

johnson lindenstrauss
categorical data
numerical values
expert systems
feature selection
image sequences
pattern recognition
pairwise