Loading paper
Inductive LS cocategory and localisation | Tomesphere