Slowly but surely

main.tex

@@ -10,6 +10,7 @@
 
 %\include{omegacat}
 \include{homtheo}
+\include{hmtpy}
 \bibliographystyle{alpha}
 \bibliography{memoire}
 \end{document}

mystyle.sty

@@ -91,6 +91,10 @@
 \newcommand{\CCAT}{\underline{\mathbf{CAT}}} %2-category of big categories
 \newcommand{\PPder}{\underline{\mathbf{Pder}}} %2-category of prederivators
 
+% Some standard categories
+
+\newcommand{\Set}{\mathbf{Set}} 
+
 % compositions and units
 \def\1^#1_#2{1^{(#1)}_{#2}} % for iterated units
 
@@ -128,6 +132,9 @@
 \newcommand{\Cof}{\ensuremath{\mathrm{Cof}}} % A mathrm "Cof". Used to denote cofibrations in a model category.
 \newcommand{\Ho}{\ensuremath{\mathrm{Ho}}} %Useful for the homotopy category
 
+% Orientals
+
+\newcommand{\Or}{\ensuremath{\mathcal{O}}} % for orientals
 
 % commentaires
 \newcommand\remtt[1]{\texttt{[#1]}}