\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}

% Formatting
\usepackage{caption}
\usepackage{subcaption}
\usepackage{tikz}

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

% Theorem styles
%\declaretheorem[name=Proposición,numberwithin=chapter]{proposition}
%\declaretheorem[name=Corolario,numberlike=proposition]{corollary}
%\declaretheorem[name=Definición,style=definition,numberlike=proposition]{definition}
%\declaretheorem{name=Ejemplo,style=remark,numberlike=proposition]{example}
%\theoremstyle{plain}
\newtheorem{proposition}{Proposición}
\newtheorem{corollary}[proposition]{Corolario}
\theoremstyle{definition}
\newtheorem{definition}[proposition]{Definición}
\newtheorem{axiom}[proposition]{Axioma}
\theoremstyle{remark}
\newtheorem{example}[proposition]{Ejemplo}

% Math macros
\newcommand{\dash}{\text{-}}
\newcommand{\dCat}[2]{\newcommand{#1}{{\bf #2}}}
\newcommand{\conc}[1]{\emph{#1}}
\dCat{\bAlg}{Alg}
\dCat{\bSet}{Set}
\dCat{\bRel}{Rel}
\dCat{\bPrord}{Prord}
\dCat{\bOrd}{Ord}
\dCat{\bLat}{Lat}
\dCat{\bGrph}{Grph}
\dCat{\bMat}{Mat}
\dCat{\bSmgrp}{Smgrp}
\dCat{\bMon}{Mon}
\dCat{\bGrp}{Grp}
\dCat{\bAb}{Ab}
\dCat{\bRing}{Rng} % Backwards compat
\dCat{\bRng}{Rng}
\dCat{\bCRng}{CRng}
\dCat{\bField}{Field}
\dCat{\bMod}{Mod}
\dCat{\bVec}{Vec}
\dCat{\bTop}{Top}
\dCat{\bMetc}{Met_c}
\dCat{\bMetu}{Met_u}
\dCat{\bMet}{Met}
\dCat{\bBanu}{Ban}
\dCat{\bBan}{Ban}
\dCat{\bBanb}{Ban_b}
\dCat{\bZero}{0}
\dCat{\bOne}{1}
\dCat{\bTwo}{2}
\dCat{\bDown}{\downarrow}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\cD}{\mathcal{D}}
\newcommand{\dKey}[2]{\newcommand{#1}{\text{#2}}}
\newcommand{\dKeyPar}[2]{\newcommand{#1}[1]{\text{#2}({##1})}}
\dKeyPar{\Ob}{Ob}
\dKeyPar{\Mor}{Mor}
\dKey{\dom}{dom}
\dKey{\cod}{cod}
\dKey{\Img}{Im}
\newcommand{\dStdSet}[2]{\newcommand{#1}{\mathbb{#2}}}
\dStdSet{\sNat}{N}
\dStdSet{\sInt}{Z}
\dStdSet{\sRat}{Q}
\dStdSet{\sReal}{R}
\dStdSet{\sComplex}{C}
\dStdSet{\sCirc}{S}
\dStdSet{\sTorus}{T}
\newcommand{\monicTo}{\rightarrowtail}
\newcommand{\epicTo}{\twoheadrightarrow}
\newcommand{\inTo}{\hookrightarrow}
\renewcommand{\mapsto}{\rightsquigarrow}
\renewcommand{\Im}{\error{You probably meant \backslash{}Im}}
\newcommand{\dual}[1]{#1^{\text{op}}}

\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 de 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 y límites}
% TODO

\chapter{Transformaciones naturales}
% TODO

\chapter{Adjunciones}
% TODO

\chapter{Mónadas}
% TODO

\chapter{Categorías en programación}
% TODO

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