Cores: Hilb

The category Hilb has the groupoid Hilb₀ as its core, or maximal subcategory which is still a groupoid. As with all cores, Hilb₀ is an (essentially) wide subcategory of Hilb.

There is a functor from categories to groupoids:

Core : Cat → Grpd

And it sends Hilb to Hilb₀:

Core : Hilb ↦ Hilb₀
Core(Hilb) ≅ Hilb₀

cores: Hilb

This data as json

groupoid category
Hilb₀ Hilb