A one-to-many matchmaking functor? Exists? Imprecisely? Is that just the same thing as a spectrum?
A one-to-many matchmaking functor? Exists? Imprecisely?
Is that just the same thing as a spectrum?