Hilbert spaces admit no finitary discrete imaginaries

Ruiyuan Chen, Isabel Trindade

We prove that every functor from the category of Hilbert spaces and linear isometric embeddings to the category of sets which preserves directed colimits must be essentially consta…