\documentclass[11pt,twoside]{amsbook}

% Style
\usepackage[utf8]{inputenc}
\usepackage[english,spanish]{babel}
\usepackage{microtype}
\usepackage[a4paper,width=150mm,top=25mm,bottom=25mm]{geometry} %,bindingoffset=6mm
\renewcommand{\chaptername}{Capítulo} % Fix lack of i18n
\usepackage{fancyhdr}
\pagestyle{fancy}
\setlength{\headheight}{16pt}
\renewcommand{\fullwidthdisplay}{}

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

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

\newenvironment{diagram}{\begin{tikzpicture}\selectlanguage{english}}{\end{tikzpicture}}
\usetikzlibrary{decorations.pathmorphing}
\newcommand{\tikzsquig}{\draw[->,
line join=round,
decorate, decoration={
    zigzag,
    segment length=4,
    amplitude=.9,post=lineto,
    post length=2pt
}]} % https://tex.stackexchange.com/questions/12678/squiggly-arrows-in-tikz#12680

% Math packages
\usepackage{mathtools}
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{stackrel}

% Theorem styles
\newtheorem{proposition}{Proposición}[chapter]
\newtheorem{theorem}[proposition]{Teorema}
\newtheorem{corollary}[proposition]{Corolario}
\newtheorem{lemma}[proposition]{Lema}
\theoremstyle{definition}
\newtheorem{definition}[proposition]{Definición}
\newtheorem{axiom}[proposition]{Axioma}
\theoremstyle{remark}
\newtheorem{example}[proposition]{Ejemplo}

% Math macros
\newcommand{\E}{\text{e}}
\newcommand{\I}{\text{i}}
\newcommand{\dash}{\text{-}}
\newcommand{\dCat}[2]{\newcommand{#1}{{\bf #2}}}
\newcommand{\conc}[1]{\emph{#1}}
\newcommand{\concsuffix}[1]{\emph{#1}}
\newcommand{\eps}{\varepsilon}
\dCat{\bAlg}{Alg}
\dCat{\bSet}{Set}
\dCat{\bRel}{Rel}
\dCat{\bPrord}{Prord}
\dCat{\bOrd}{Ord}
\dCat{\bLat}{Lat}
\dCat{\bGrph}{Grph}
\dCat{\bMGrph}{MGrph}
\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{\bDom}{Dom}
\dCat{\bField}{Field}
\dCat{\bMod}{Mod}
\dCat{\bVec}{Vec}
\dCat{\bVecf}{Vec_f}
\dCat{\bTop}{Top}
\dCat{\bTopm}{Top_m}
\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}
\dCat{\bDDown}{\downdownarrows}
\dCat{\bCat}{Cat}
\dCat{\bCAT}{CAT}
\dCat{\bCls}{Cls}
\dCat{\bTopVec}{TopVec}
\dCat{\bType}{Type}
\newcommand{\cA}{\mathcal{A}}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\cD}{\mathcal{D}}
\newcommand{\cS}{\mathcal{S}}
\newcommand{\dKey}[2]{\newcommand{#1}{\text{#2}}}
\newcommand{\dKeyPar}[2]{\newcommand{#1}[1]{\text{#2}({##1})}}
\dKeyPar{\Ob}{Ob}
\dKeyPar{\Mor}{Mor}
\dKeyPar{\Mnd}{Mnd}
\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{}Img}}
\newcommand{\dual}[1]{#1^{\mathrm{op}}}
\newcommand{\power}{\mathcal{P}}
\newcommand{\copower}{\mathcal{Q}}
\newcommand{\UNIVERSE}{\mathcal{U}}
\newcommand{\natg}[3]{%
  \stackrel[#3]{#2}{\overrightarrow{\underrightarrow{\;{#1}\;}}}}
\newcommand{\nats}[1]{\natg{\downarrow\,{#1}}{}{}}
\newcommand{\nati}[1]{\natg{\cong\,{#1}}{}{}}
\newcommand{\nattwog}[4]{%
  \stackrel[#4]{#3}{\overrightarrow{\underrightarrow{%
        \xrightarrow[\;{#2}\hfil]{\;{#1}\hfil}}}}}
\newcommand{\nattwos}[2]{\nattwog{\downarrow\,{#1}}{\downarrow\,{#2}}{}{}}
\newcommand{\nattwoi}[2]{\nattwog{\cong\,{#1}}{\cong\,{#2}}{}{}}
\newcommand{\logicrule}[2]{\frac{\displaystyle{#1}}{\displaystyle{#2}}}

\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
    {\centering
      \begin{tikzpicture}[scale=1.8]\selectlanguage{english}
       \path (0,4) node(SS){$S'Sb$} (2,4) node(TS){$T'Sb$} (4,4) node(US){$U'Sb$};
       \path (2,2) node(TT){$T'Tb$} (4,2) node(UT){$U'Tb$};
       \path (4,0) node(UU){$U'Ub$};
       \draw[->] (SS) -- node[above]{$\sigma'_{Sb}$} (TS);
       \draw[->] (TS) -- node[above]{$\tau'_{Sb}$} (US);
       \draw[->] (US) -- node[right]{$U'\sigma_b$} (UT);
       \draw[->] (UT) -- node[right]{$U'\tau_b$} (UU);
       \draw[->] (TS) -- node[right]{$T'\sigma_b$} (TT);
       \draw[->] (TT) -- node[above]{$\tau'_{Tb}$} (UT);
       \draw[->] (SS) -- node[above]{$\sigma'\circ\sigma$} (TT);
       \draw[->] (TT) -- node[above]{$\tau'\circ\tau$} (UU);
       \path (0,2) node(ST){$S'Tb$} (0,0) node(SU){$S'Ub$} (2,0) node(TU){$T'Ub$};
       \draw[->] (SS) -- node[left]{$S'\sigma_b$} (ST);
       \draw[->] (ST) -- node[left]{$S'\tau_b$} (SU);
       \draw[->] (SU) -- node[below]{$\sigma'_{Ub}$} (TU);
       \draw[->] (TU) -- node[below]{$\tau'_{Ub}$} (UU);
       \draw[->] (ST) -- node[below]{$\sigma'_{Tb}$} (TT);
       \draw[->] (TT) -- node[left]{$T'\tau_b$} (TU);
     \end{tikzpicture}
    }  % 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\\
    20 de Junio de 2023
  \end{center}
\end{titlepage}

\tableofcontents
\listoffigures

\begin{otherlanguage}{english}
  \chapter*{Introduction}
  \input{ch0_intro}
\end{otherlanguage}

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

\chapter{Funtores}
\input{ch2_funs}

\chapter{Límites y colímites}
\input{ch3_limits}

\chapter{Transformaciones naturales}
\input{ch4_trans}

\chapter{Adjunciones}
\input{ch5_adjoints}

\chapter{Mónadas}
\input{ch6_monads}

\appendix
\chapter{Categorías en programación}
\label{ch:programming}
\input{ch7_programming}

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