137 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}}

   137 \newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}}

   138 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}}

   138 \newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}}

   139 

   139 

   140 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}}

   140 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}}

   141 \newcommand{\set}[1]{\left\{#1\right\}}

   141 \newcommand{\set}[1]{\left\{#1\right\}}

   143 \newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>}

   144 \newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>}

   144 \newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)}

   145 \newcommand{\cone}[3]{C\left(#1 \xrightarrow{#2} #3\right)}

   145 \newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle}

   146 \newcommand{\pairing}[2]{\left\langle#1 ,#2 \right\rangle}

   146 

   147 

   147 \newcommand{\floor}[1]{\left\lfloor#1\right\rfloor}

   148 \newcommand{\floor}[1]{\left\lfloor#1\right\rfloor}