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 |