Conventions

Introduction This wiki is written in the modern, homotopy-coherent dialect. The intention is to keep statements short by not repeating the qualifier “(∞,1)” on every other word. The terminology below is fixed once for the whole site, and individual entries should not redefine it. If you arrive from a 1-categorical background, just read every “category” as “(∞,1)-category” and add the strictness adjective when you want it. Body Categorical conventions category = 1-category = (∞,1)-category. All categories on this wiki are $(\infty,1)$-categories by default. Every notion (limits, colimits, adjunctions, presheaves, …) is the $(\infty,1)$-categorical one. ...