Introduced the book using Documenter

docs/src/hopffibration.md

@@ -6,7 +6,7 @@ Description = "How the Hopf fibration works."
 
 The Hopf fibration is a fiber bundle with a two-dimensional sphere as the base space and circles as the fiber space. It is the geometrical shape that relates Einstein's spacetime to quantum fields. In this model, we visualize the Hopf fibration by first computing its points via a bundle atlas and then rendering the points in 3D space via stereographic projection. The projection step is necessary because the Hopf fibration is embedded in a four-space. Yet, it has only three degrees of freedom as a three-dimensional shape. The idea that makes this model more special and interesting than a typical visualization is the idea of [Planet Hopf](http://drorbn.net/AcademicPensieve/Projects/PlanetHopf/), due to Dror Bar-Natan (2010). The basic idea is that since the Hopf map takes the three-dimensional sphere into the two-dimensional sphere, we can pull the skin of the globe back to the three-sphere and visualize it.
 
-Into the bargain, the Earth rotates about its axis every 24 hours. That spinning transformation of the Earth, together with the non-trivial product space of the Hopf bundle, can be encoded naturally into a monolithic visualization. It also makes sense to visualize differential operators in the Minkowski space-time as vectors in a cross-section of the Hopf bundle and then study the properties of spin-transformations. The choice of a gauge transformation (or trivialization) along with Lorentz transformations of Minkowski spacetime should not have any effect on physical laws. It is therefore a great model to understand these transformations and walk the road to reality. The following explains how the source code for generating animations of the Hopf fibration works (alternative views of Planet Hopf). We follow the beginning of chapter 4 of [Mark J.D. Hamilton (2018)](https://doi.org/10.1007/978-3-319-68439-0) for a formal definition of the Hopf fibration as a fiber bundle. Then, the definition is going to be used to explain the source code in terms of computational methods and types.
+Into the bargain, the Earth rotates about its axis every 24 hours. That spinning transformation of the Earth, together with the non-trivial product space of the Hopf bundle, can be encoded naturally into a monolithic visualization. It also makes sense to visualize differential operators in the Minkowski space-time as vectors in a cross-section of the Hopf bundle and then study the properties of spin-transformations. The choice of a gauge transformation (or trivialization) along with Lorentz transformations of Minkowski spacetime should not have any effect on physical laws. It is therefore a great model to understand these transformations and walk the road to reality. The following explains how the source code for generating animations of the Hopf fibration works (alternative views of Planet Hopf). We follow the beginning of chapter 4 of [Mark J.D. Hamilton (2018)](https://doi.org/10.1007/978-3-319-68439-0) for a formal definition of the Hopf fibration as a fiber bundle. The book Mark J.D. Hamilton (2018) explains the Standard Model to students of both mathematics and physics, covers both the specific gauge theory of the Standard Model and generalizations, and is highly accessible and self-contained. Then, the definitions are going to be used to explain the source code in terms of computational methods and types.
 
 First, let ``E`` and ``M`` be smooth manifolds. Then, ``\pi: E \to M`` is a surjective and differentiable map between smooth manifolds. Meaning, every element in ``M`` has some corresponding element in ``E`` via the map ``\pi``. Now, let ``x \in M`` be a point. A *fiber* of ``\pi`` over point ``x`` is called ``E_x`` and defined as a non-empty subset of ``E`` as follows: ``E_x = \pi^{-1}(x) = \pi^{-1}(\{x\}) \subset E``. The singleton of ``x`` is taken to the manifold ``E`` by the inverse of the map ``\pi``. However, to have a set of more than one point let ``U`` be a subset of ``M``, ``U \subset M``. Then, we have ``E_U = \pi^{-1}(U) \subset E``. In this case, ``E_U`` is the part of ``E`` above the subset ``U``.