\documentclass[11pt,twoside]{amsbook}

% Style
\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}
\usepackage{microtype}
\usepackage[a4paper,width=150mm,top=25mm,bottom=25mm,bindingoffset=6mm]{geometry}
\usepackage{fancyhdr}
\pagestyle{fancy}
% \renewcommand{\headrulewidth}{0.4pt}
% \renewcommand{\footrulewidth}{0.4pt}

% Bibliography
\usepackage[autolang=hyphen]{biblatex}
\addbibresource{ref.bib}

% Math packages
\usepackage{mathtools}
\usepackage{amsthm}

% Theorem styles
\theoremstyle{definition}
\newtheorem{definition}{Definición}
\theoremstyle{remark}
\newtheorem{example}{Ejemplo}

% Math macros
\def\dash{\text{-}}
\def\dCat#1#2{\outer\def#1{{\mathbf{#2}}}}
\dCat{\bAlg}{Alg}
\dCat{\bSet}{Set}
\dCat{\bSmgrp}{Smgrp}
\dCat{\bMon}{Mon}
\dCat{\bGrp}{Grp}
\dCat{\bAb}{Ab}
\dCat{\bRing}{Ring}
\dCat{\bDom}{Dom}
\dCat{\bField}{Field}
\dCat{\bVec}{Vec}
\def\cC{\mathcal{C}}
\def\cD{\mathcal{D}}
\def\dKey#1#2{\outer\def#1{\text{#2}}}
\def\dKeyPar#1#2{\outer\def#1##1{\text{#2}({##1})}}
\dKeyPar{\Ob}{Ob}
\dKeyPar{\Mor}{Mor}
\dKey{\dom}{dom}
\dKey{\cod}{cod}
\def\dStdSet#1#2{\outer\def#1{{\mathbb{#2}}}}
\dStdSet{\sNat}{N}
\dStdSet{\sInt}{Z}
\dStdSet{\sRat}{Q}
\dStdSet{\sReal}{R}
\dStdSet{\sComplex}{C}
\dStdSet{\sCirc}{S}
\dStdSet{\sTorus}{T}

\begin{document}
\begin{titlepage}
  \begin{center}
    \vspace*{1cm}
    \Huge
    \textbf{Teoría de Categorías}

    \vspace{0.5cm}
    \LARGE
    Una visión general con aplicaciones a la computación

    \vspace{1.5cm}
    \textbf{Juan Marín Noguera}

    \vfill
    {\normalsize (Dibujo aquí)}  % TODO
    \vfill

    Trabajo Fin de Grado en Matemáticas

    \vspace{0.8cm}
    \Large
    Tutor: Alberto del Valle Robles\\
    Facultad de Matemáticas\\
    Universidad de Murcia\\
    Día de Mes de 2023  % TODO
  \end{center}
\end{titlepage}

\tableofcontents
\listoffigures
\listoftables

\begin{otherlanguage}{english}
  \chapter*{Introduction}
  % TODO
  %\cite{joyofcats}
  %\cite{maclane}
\end{otherlanguage}

\chapter{Categorías}
\input{ch1_cats}

\chapter{Funtores}
% TODO

\chapter{Límites}
% TODO

\chapter{Transformaciones naturales}
% TODO

\chapter{Adjunciones}
% TODO

\chapter{Mónadas}
% TODO

\appendix
%\chapter{Bibliografía}
% ... BibTeX stuff here
\printbibliography
\end{document}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: