Commit 89fd6860 authored by Leonard Guetta's avatar Leonard Guetta
Browse files

dodo

parent abee0e8c
......@@ -538,7 +538,7 @@ For later reference, we put here the following trivial but important lemma, whos
\begin{example}\label{example:equivalencecategories}
If $C$ and $D$ are (small) categories seen as $\oo$-categories, then a functor $F : C \to D$ is an equivalence of $\oo$\nbd-categories if and only if it is fully faithful, hence, an equivalence of categories.
\end{example}
For the next theorem, recall that the canonical map $i_n : \sS_{n-1} \to \sD_n$ for $n \geq 0$ have been defined in \ref{paragr:defglobe}.
For the next theorem, recall that the canonical maps $i_n : \sS_{n-1} \to \sD_n$ for $n \geq 0$ have been defined in \ref{paragr:defglobe}.
\begin{theorem}\label{thm:folkms}
There exists a cofibrantely generated model structure on $\omega\Cat$ such that the weak equivalences are the equivalences of $\omega$-categories, and the set $\{i_n : \sS_{n-1} \to \sD_n \vert n \in \mathbb{N}\}$ is a set of generating cofibrations.
\end{theorem}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment