\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{amssymb} % Theorem styles \theoremstyle{definition} \newtheorem{definition}{Definición} \theoremstyle{remark} \newtheorem{example}{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}{Ring} \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} \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} \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: