Ontify
Manifold modeled on Hilbert spaces; separable Hausdorff space in which each point has a neighborhood homeomorphic to an infinite dimensional Hilbert space.