QEp 4: From Simplicial Categories to Quasicategories
views
comments
We prove that we can construct quasi-categories out of certain categories. This involves three steps: