https://9dok.net/document/q054wlog-theorems-in-higher-category-theory-and-applications.html