https://123dok.org/document/1y927wdz-classifying-topoi-and-groupoids.html