cosmos

Author: 5HT

books/vol4/cat.tex

@@ -325,7 +325,7 @@ \subsection{Adjunction}
 \subsection{Modification}
 
 \newpage
-\subsection{The Logic of Cosmic Cube}
+\subsection{The Logic of Cosmos}
 
 \hspace{0.5cm}The {\bf Foundational} $\mathbf{0}$-layer comprises categories, functors, natural transformations, adjunctions, modifications, and bicategories, where categories specify objects and morphisms with associative composition and identities, functors map categories preserving structure, natural transformations define morphisms between functors, adjunctions establish paired functors with unit and counit, modifications extend transformations to 2-categorical contexts, and bicategories introduce 2-morphisms with weak associativity, providing the algebraic framework for categorical spaces.
 

books/vol4/cube.tex

@@ -96,5 +96,10 @@ \subsection{Conclusion}
 
 The Cosmic Cube provides a unifying language for relating different regions of categorical and homotopical logic. It highlights deep dualities (such as LCCC vs SMC), computational distinctions (classical vs quantum), and modalities (discrete, cohesive, stable) that structure modern type theories and their semantics.
 
+\begin{thebibliography}{9}
+\bibitem{baes} John C. Baez, \emph{What n-Categories Should Be Like}, , 2002.
+\end{thebibliography}
+
+
 \end{document}