diff --git a/doc/assets/isomorphism.pdf b/doc/assets/isomorphism.pdf
new file mode 100644
index 0000000..da44a39
Binary files /dev/null and b/doc/assets/isomorphism.pdf differ
diff --git a/doc/isomorphism.png b/doc/assets/isomorphism.png
similarity index 100%
rename from doc/isomorphism.png
rename to doc/assets/isomorphism.png
diff --git a/doc/chalmerstitle.sty b/doc/chalmerstitle.sty
index 908e13d..ba7934a 100644
--- a/doc/chalmerstitle.sty
+++ b/doc/chalmerstitle.sty
@@ -46,7 +46,7 @@
 {\Huge\@title}\\[.5cm]
 {\Large A formalization of category theory in Cubical Agda}\\[6cm]
 \begin{center}
-\includegraphics[width=\linewidth,keepaspectratio]{isomorphism.pdf}
+\includegraphics[width=\linewidth,keepaspectratio]{assets/isomorphism.pdf}
 %% \includepdf{isomorphism.pdf}
 \end{center}
 % Cover text