verse

doc/anders.tex

@@ -746,25 +746,25 @@ \subsection{Conservativity and Initiality}
 \newpage
 \section{Conclusion}
 
-In the topos where paths commute,
-cubes arise—decomposable, mute.
-Faces align in fibrant constraint,
-homotopies traced with structure innate.
-
-Identity lifts through Kan’s domain,
-glued by fillers that witness the same.
-No law assumed, no axiom imposed—
-only constructions, composition enclosed.
-
-Higher paths, coherently bound,
-define equivalence, symmetry found.
-A contractible witness, a space of proof,
-where judgment refines by computational truth.
-
-Thus, in the category where cubes unfold,
-types are spaces, and spaces hold—
-not mere sets, but forms refined,
-inhabiting proof in cubical mind.
+In Infinity topos where paths commute, \\
+cubes arise --- decomposable, mute.\\
+Faces align in fibrant constraint,\\
+homotopies traced with structure innate.\\
+
+Identity lifts through Kan’s domain,\\
+glued by fillers that witness the same.\\
+No law assumed, no axiom imposed ---\\
+only constructions, composition enclosed.\\
+
+Higher the paths, coherently bound,\\
+define the equivalence, the symmetry found.\\
+Contractible witness, a spaces of proofs,\\
+where judgment refines computational truth.\\
+
+Thus, in category where cubes unfold,\\
+types are the spaces, infinities hold ---\\
+not mere sets, but the forms which refined,\\
+landscape of a proof in your cubical mind!\\
 
 \bibliography{anders}