\documentclass[../Main.tex]{subfiles}
\begin{document}
%  \chapter{Preliminaries}
%   \section{Category Theory}
% We already assume some basic notions of category theory. For the completly unitiated there are good
% references for example \cite{maclaneCategoriesWorkingMathematician1978} or \cite{awodeyCategoryTheory2006}.
% We will also assume some familarities with presheave categories \cite{maclaneSheavesGeometryLogic1994}.
% But we will revisit some branches  of category theory that we will encouter later. 

  
%  \subfile{Model_Categories}
  \subfile{Leibniz_Construction}
  \subfile{Cubical_Set}
  \subfile{Model_Structure}
%  \subfile{Reedy_Categories}
%  \subfile{Dependent_Type_Theory}
%  \subfile{Categorical_Semantics}
  
\end{document}
