Loading paper
Proxy-small objects present compactly generated categories | Tomesphere