adjust order for category theory

algebraic_construction.tex

@@ -104,15 +104,16 @@ \chapter*{Notation Conventions}
 \end{itemize}
 We use sans-serif font for categories. Some common categories are
 \begin{itemize}
+    \item $\mathsf{FinSet}$: the category of finite sets.
     \item $\mathsf{Set}$: the category of sets.
     \item $\mathsf{Mon}$: the category of monoids.
     \item $\mathsf{Grp}$: the category of groups.
     \item $\mathsf{Ab}$: the category of abelian groups.
     \item $\mathsf{Ring}$: the category of rings.
     \item $\mathsf{CRing}$: the category of commutative rings.
-    \item $\mathsf{Fld}$: the category of fields.
+    \item $\mathsf{Field}$: the category of fields.
     \item $R\text{-}\mathsf{Mod}$: the category of left $R$-modules, where $R\in \mathrm{Ob}\left(\mathsf{Ring}\right)$.
-    \item $K\text{-}\mathsf{Vect}$: the category of $K$-vector spaces, where $K\in \mathrm{Ob}\left(\mathsf{Fld}\right)$.
+    \item $K\text{-}\mathsf{Vect}$: the category of $K$-vector spaces, where $K\in \mathrm{Ob}\left(\mathsf{Field}\right)$.
     \item $R\text{-}\mathsf{Alg}$: the category of associative $R$-algebras, where $R\in \mathrm{Ob}\left(\mathsf{CRing}\right)$.
     \item $R\text{-}\mathsf{CAlg}$: the category of commutative $R$-algebras, where $R\in \mathrm{Ob}\left(\mathsf{CRing}\right)$.
     \item $\mathsf{Top}$: the category of topological spaces.