diff --git a/examples/config.yml b/examples/config.yml
@@ -1,51 +1,80 @@
# TODOO: Reorder the content to group images by theme
# TODOO: Revise all text alternatives and captions
# TODOO: Make text alternatives concise
-- path: ./images/26-nodes-diagram.tex
- license: CC-BY-4
- author: Pablo
- author-url: https://pablopie.xyz
- alt: A circular, symmetric array of 26 points connected by lines
- caption: "The 26-nodes diagram: a graph encoding certain relations of the
- Monster simple group"
-- path: ./images/caleb-yau.png
- license: CC-BY-SA-2.5
- author: Lunch
- source: https://commons.wikimedia.org/wiki/File:Calabi-Yau-alternate.png
- alt: A convoluted self-intersecting surface in pastel shades of pink and blue
- caption: A visual representation of the Calabi-Yau manifold
+# Algebraic Geometry ##########################################################
-- path: ./images/lattice.tex
- license: CC-BY-4
- author: Pablo
- author-url: https://pablopie.xyz
- alt: Cyan lines highlight the contours of a lattice on the Cartesian plane.
- Two blue vectors, each corresponding to one of the periods of the lattice,
- highlight the bounds of its fundamental domain.
- caption: A 2-dimensional lattice
+# TODO: Track the source for this drawing? (i.e track the manuscript)
+- path: ./images/grothendieck-riemann-roch.tex
+ license: PD
+ author: Alexander Grothendieck
+ author-url: https://grothendieckcircle.org/
+ alt: A hand-drawn commutative diagram surrounded by fire and devils carrying
+ forks
+ caption: The infamous commutative diagram from Gothendieck's 1971 manuscript
+ on the Grothendieck-Riemann-Roch theorem
-- path: ./images/complex-surreal-venn.tex
+- path: ./images/elliptic-curve-group-structure.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: Two circles, the first representing the complex numbers and the second
- representing the surreal numbers, intersect in the middle of picture. Their
- intersection is labeled as the set of real numbers.
- caption: A Venn diagram representation of the relationship between the real,
- complex and surreal numbers (denoted by "No")
+ alt: Two axis span a plane containing a curve. Two points on the curve are
+ labeled "P" and "Q", and a violet line passing through them intersects the
+ curve in a third point. A violet vertical line passing through this third
+ point intersects the curve at a fourth point, labeled "P + Q".
+ caption: The geometric group law of an elliptic curve
-- path: ./images/cube.tex
+# Group Theory ################################################################
+
+- path: ./images/j-function-color.jpg
+ license: PD
+ author: Jan Homann
+ source: https://commons.wikimedia.org/wiki/File:KleinInvariantJ.jpg
+ alt: Domain coloring representation of a complex function
+ caption: The j-invariant Klein function
+
+- path: ./images/j-function-relief.svg
+ license: proprietary
+ author: Eugene Jahnke & Fritz Emde
+ source: https://archive.org/details/tablesoffunction00jahn/mode/2up
+ alt: Relief representation of a function of two variables
+ caption: Relief representation of the j-invariant modular function from the
+ book “Tables of Functions with Formulae and Curves”
+
+- path: ./images/26-nodes-diagram.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A 3-dimensional cube
+ alt: A circular, symmetric array of 26 points connected by lines
+ caption: "The 26-nodes diagram: a graph encoding certain relations of the
+ Monster simple group"
-- path: ./images/diamond.tex
+- path: ./images/groups-periodic-table.svg
+ # TODO: Figure out the actual license
+ license: PD
+ author: Ivan Andrus
+ author-url: https://irandrus.wordpress.com
+ source: https://irandrus.wordpress.com/2012/06/17/the-periodic-table-of-finite-simple-groups/
+ alt: A diagram of the classification of finite simple groups in the
+ format of a periodic table
+
+- path: ./images/sporadic-groups.svg
+ license: CC-BY-SA-3
+ author: Drschawrz
+ source: https://en.wikipedia.org/wiki/File:SporadicGroups.svg
+ alt: Graph representation of the subquotients of Sporadic groups
+ caption: "All the Sporadic groups and their subquotient relationships: an
+ edge from a group G on the top to a group H on the bottom means H is a
+ subquotient of G. Mathieu groups are collored red, Leech lattice groups are
+ colored green, other subquotients of the Monster are collored blue and the
+ rest of the groups are collored white."
+
+- path: ./images/monster-group-character-table.svg
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A diamond-like shape
+ alt: An increadibly big table of numbers
+ caption: The chacter table of the Monster simple group in characteristic zero
- path: ./images/dihedral-representation.tex
license: CC-BY-4
@@ -68,108 +97,94 @@
group rotates any vector v by 60° and hence cannot preserve a line
through the origin"
-- path: ./images/elliptic-curve-group-structure.tex
+- path: ./images/galois-lattice-antisomorphism.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: Two axis span a plane containing a curve. Two points on the curve are
- labeled "P" and "Q", and a violet line passing through them intersects the
- curve in a third point. A violet vertical line passing through this third
- point intersects the curve at a fourth point, labeled "P + Q".
- caption: The geometric group law of an elliptic curve
+ alt: The contours of two order-theoretic lattices lie side by side. The
+ lattices are organized in stages, marked by different labels. At each stage
+ the two lattices are connected by a thing dotted horizontal line.
+ caption: The lattice anti-isomorphism between the lattice of the subgroups of
+ the Galois group of an extension K/k and the lattice of intermediary
+ subfields of K
-- path: ./images/euclidian-plane.tex
+# Topology & Geometry #########################################################
+
+- path: ./images/manifold-charts.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A tilted rectangle labeled "R²"
- caption: The Cartesian plane
+ alt: Two small regions U and V in a surface M are highlighted, as well as
+ their intersection. On the bottom, a map labeled "φ_V ∘ φ_U⁻¹" indicates
+ the transition of charts.
+ caption: Transition of charts in a manifold M
-- path: ./images/finite-topological-plot.tex
+# TODO: Not sure I'm happy with this caption
+- path: ./images/smooth-function.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A bar chart with thin blue bars marked by thick circles on their tops.
- The x-axis is labeled "n" and ranges from 0 to 20. The y-axis is labeled
- "log(# topological spaces of n points)" and ranges from 0 to a little over
- 80. On the top of the figure a title reads "Finite Topological Spaces".
- caption: Log of the number of distinct topologies (counting homeomorphic
- topologies) one can endow a finite set
+ alt: A map f between two surfaces M and N with its representation in local
+ coordinates highlighted on the bottom of the figure
+ caption: A smooth function in local coordinates φ and ψ
-- path: ./images/galois-lattice-antisomorphism.tex
+- path: ./images/tangent-space.tex
+ license: CC-BY-4
+ author: Gustavo Mezzovilla
+ alt: A surface with a highlighted point on its interior, together with the
+ plane tangent to the surface at that point
+ caption: The tangent space of a smooth manifold at a point
+
+- path: ./images/sphere.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: The contours of two order-theoretic lattices lie side by side. The
- lattices are organized in stages, marked by different labels. At each stage
- the two lattices are connected by a thing dotted horizontal line.
- caption: The lattice anti-isomorphism between the lattice of the subgroups of
- the Galois group of an extension K/k and the lattice of intermediary
- subfields of K
+ alt: A 2-dimensional sphere
-- path: ./images/geodesic-min.tex
+- path: ./images/cube.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A 2-dimensional sphere is marked by a violet curve connecting the north
- pole to a point close to the equator. The violet curve runs across a
- meridian, passing through the south pole along the way. On the left, a
- circle highlights a small region around a point on the violet curve. In the
- circle we can see a violet straight line representing the correspoding arc
- of the violet curve and a winding dotted path joining its endpoints.
- caption: "This picture represents the fact that geodesics locally minimize
- distances: eventhough the violet great circle does not globally minimize the
- distance between the marked points in the sphere, at each point in the
- violet curve we can find a small neightborhood such that the purple arc in
- this neightborhood minimizes the distance between the correspoing endpoints"
-
-# TODO: Track the source for this drawing? (i.e track the manuscript)
-- path: ./images/grothendieck-riemann-roch.tex
- license: PD
- author: Alexander Grothendieck
- author-url: https://grothendieckcircle.org/
- alt: A hand-drawn commutative diagram surrounded by fire and devils carrying
- forks
- caption: The infamous commutative diagram from Gothendieck's 1971 manuscript
- on the Grothendieck-Riemann-Roch theorem
+ alt: A 3-dimensional cube
-- path: ./images/groups-periodic-table.svg
- # TODO: Figure out the actual license
- license: PD
- author: Ivan Andrus
- author-url: https://irandrus.wordpress.com
- source: https://irandrus.wordpress.com/2012/06/17/the-periodic-table-of-finite-simple-groups/
- alt: A diagram of the classification of finite simple groups in the
- format of a periodic table
+- path: ./images/diamond.tex
+ license: CC-BY-4
+ author: Pablo
+ author-url: https://pablopie.xyz
+ alt: A diamond-like shape
-- path: ./images/hyperbolic-plane-disc.tex
+- path: ./images/lattice.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A circle with an arc highleghted on its interior
- caption: The Poincaré disc model of the hyperbolic plane
+ alt: Cyan lines highlight the contours of a lattice on the Cartesian plane.
+ Two blue vectors, each corresponding to one of the periods of the lattice,
+ highlight the bounds of its fundamental domain.
+ caption: A 2-dimensional lattice
-- path: ./images/j-function-relief.svg
- license: proprietary
- author: Eugene Jahnke & Fritz Emde
- source: https://archive.org/details/tablesoffunction00jahn/mode/2up
- alt: Relief representation of a function of two variables
- caption: Relief representation of the j-invariant modular function from the
- book “Tables of Functions with Formulae and Curves”
+- path: ./images/topology-mug-donut.tex
+ license: CC-BY-4
+ author: Pablo
+ author-url: https://pablopie.xyz
+ alt: A mug continuously morphing into a donut
+ caption: The homeomorphism between the surface of a mug and that of a donut
-- path: ./images/j-function-color.jpg
- license: PD
- author: Jan Homann
- source: https://commons.wikimedia.org/wiki/File:KleinInvariantJ.jpg
- alt: Domain coloring representation of a complex function
- caption: The j-invariant Klein function
+- path: ./images/unit-circle-covering.tex
+ license: CC-BY-4
+ author: Pablo
+ author-url: https://pablopie.xyz
+ alt: A downwords spiral with a circle on its bottom and an arrow labelled "π"
+ pointing from the spiral to the circle
+ caption: "The universal covering of the circle: we can picture winding the
+ real line around the circle by identifying it with an infinite vertical
+ spiral whose “shadow” in the xy-plane is the circle"
-- path: ./images/k4.tex
+- path: ./images/unit-circle.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A triangle with marked vertices and a marked point on its barycenter
- caption: The complete graph of four vertices
+ alt: A circle with two highlighted points labelled "i" and "1"
+ caption: The unit complex circle
- path: ./images/mobius.tex
license: CC-BY-4
@@ -177,32 +192,61 @@
author-url: https://pablopie.xyz
alt: The Mobius strip
-- path: ./images/monster-group-character-table.svg
+- path: ./images/k4.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: An increadibly big table of numbers
- caption: The chacter table of the Monster simple group in characteristic zero
+ alt: A triangle with marked vertices and a marked point on its barycenter
+ caption: The complete graph of four vertices
-- path: ./images/natural-number-line.tex
+- path: ./images/hyperbolic-plane-disc.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: The natural number line
+ alt: A circle with an arc highleghted on its interior
+ caption: The Poincaré disc model of the hyperbolic plane
-- path: ./images/real-number-line.tex
+- path: ./images/caleb-yau.png
+ license: CC-BY-SA-2.5
+ author: Lunch
+ source: https://commons.wikimedia.org/wiki/File:Calabi-Yau-alternate.png
+ alt: A convoluted self-intersecting surface in pastel shades of pink and blue
+ caption: A visual representation of the Calabi-Yau manifold
+
+- path: ./images/euclidian-plane.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: The real number line
+ alt: A tilted rectangle labeled "R²"
+ caption: The Cartesian plane
-- path: ./images/ordinal-number-line.tex
+- path: ./images/geodesic-min.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: "The ordinal number line: the natural numbers accumulate around ω,
- followed by ω-translates of the natural numbers and so on"
- caption: The ordinal number line
+ alt: A 2-dimensional sphere is marked by a violet curve connecting the north
+ pole to a point close to the equator. The violet curve runs across a
+ meridian, passing through the south pole along the way. On the left, a
+ circle highlights a small region around a point on the violet curve. In the
+ circle we can see a violet straight line representing the correspoding arc
+ of the violet curve and a winding dotted path joining its endpoints.
+ caption: "This picture represents the fact that geodesics locally minimize
+ distances: eventhough the violet great circle does not globally minimize the
+ distance between the marked points in the sphere, at each point in the
+ violet curve we can find a small neightborhood such that the purple arc in
+ this neightborhood minimizes the distance between the correspoing endpoints"
+
+- path: ./images/sphere-metric-comparison.tex
+ license: CC-BY-4
+ author: Pablo
+ author-url: https://pablopie.xyz
+ alt: "A sphere is marked by two points and two curves connecting them: a
+ great circle and a straigh line passing through the interior of the sphere"
+ caption: "This picture is a comparison between the Euclidean metric and the
+ Riemannian metric of the 2-sphere: in 3-space the shortest distance between
+ the north pole and the point close to the equator is realized by the
+ straight line connecting them, but in the 2-sphere their distance is
+ realized by a great circle instead"
- path: ./images/quaternion-rotation.tex
license: CC-BY-4
@@ -216,28 +260,38 @@
through the origin in 3-space, and conjugation by cos θ + p sin θ acts as
rotation by 2θ around this axis."
-- path: ./images/real-ordinal-surreal-venn.tex
+- path: ./images/square-to-circle-projection.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: Two circles, the first representing the real numbers and the second
- representing the ordinal numbers, intersect in the middle of picture. Their
- intersection is labeled as the set of natural numbers. A rectangle labeled
- as the set of surreal numbers surrounds both circles.
- caption: Venn diagram representation of the relationship between the real,
- natural and surreal numbers (denoted by "No")
+ alt: A circle and a square. A dotted ray connects the center of the square to
+ a point in the circle, passing through a point in the perimeter of the
+ square.
+ caption: "The projection from the square to the circle: we map a point in
+ the square of length √2/2 onto the unit circle by normalizing it"
-- path: ./images/sphere-metric-comparison.tex
+- path: ./images/stereographic-projection.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: "A sphere is marked by two points and two curves connecting them: a
- great circle and a straigh line passing through the interior of the sphere"
- caption: "This picture is a comparison between the Euclidean metric and the
- Riemannian metric of the 2-sphere: in 3-space the shortest distance between
- the north pole and the point close to the equator is realized by the
- straight line connecting them, but in the 2-sphere their distance is
- realized by a great circle instead"
+ alt: A sphere sits on top of plane, with a line connecting the north pole to
+ the a point on the plane, passing thought another point in the sphere
+ caption: "The stereographic projection: for each point P in the sphere we
+ cast a ray from the north pole, identifying P with the point of
+ intersection of this ray and the plane just bellow the sphere"
+
+- path: ./images/upper-central-projection.tex
+ license: CC-BY-4
+ author: Pablo
+ author-url: https://pablopie.xyz
+ alt: The upper cap of a sphere sits just bellow a plane, with a line
+ connecting the center of the half-sphere to the a point on the plane,
+ passing thought another point in the sphere
+ caption: "A graphical depiction of the central projection between the
+ upper semi-sphere and the Euclidean plane: we map each point in the upper
+ half of the sphere to the projection of this point in the tangent plane at
+ the north pole by drawing a line between this point and the center of the
+ sphere and then taking the intersection of such line with the plane."
- path: ./images/rigid-motion-reflections.tex
license: CC-BY-4
@@ -257,68 +311,67 @@
into the other
caption: Rotation by 45° on the Cartesian plane
-- path: ./images/manifold-charts.tex
+- path: ./images/finite-topological-plot.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: Two small regions U and V in a surface M are highlighted, as well as
- their intersection. On the bottom, a map labeled "φ_V ∘ φ_U⁻¹" indicates
- the transition of charts.
- caption: Transition of charts in a manifold M
+ alt: A bar chart with thin blue bars marked by thick circles on their tops.
+ The x-axis is labeled "n" and ranges from 0 to 20. The y-axis is labeled
+ "log(# topological spaces of n points)" and ranges from 0 to a little over
+ 80. On the top of the figure a title reads "Finite Topological Spaces".
+ caption: Log of the number of distinct topologies (counting homeomorphic
+ topologies) one can endow a finite set
-# TODO: Not sure I'm happy with this caption
-- path: ./images/smooth-function.tex
+# Numbers & Venn digrams ######################################################
+
+- path: ./images/standard-sets-venn.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A map f between two surfaces M and N with its representation in local
- coordinates highlighted on the bottom of the figure
- caption: A smooth function in local coordinates φ and ψ
+ alt: Venn diagram representation of the containment relations between the
+ natural numbers, integers, rational number, real numbers and complex
+ numbers
-- path: ./images/sphere.tex
+- path: ./images/real-ordinal-surreal-venn.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A 2-dimensional sphere
+ alt: Two circles, the first representing the real numbers and the second
+ representing the ordinal numbers, intersect in the middle of picture. Their
+ intersection is labeled as the set of natural numbers. A rectangle labeled
+ as the set of surreal numbers surrounds both circles.
+ caption: Venn diagram representation of the relationship between the real,
+ natural and surreal numbers (denoted by "No")
-- path: ./images/sporadic-groups.svg
- license: CC-BY-SA-3
- author: Drschawrz
- source: https://en.wikipedia.org/wiki/File:SporadicGroups.svg
- alt: Graph representation of the subquotients of Sporadic groups
- caption: "All the Sporadic groups and their subquotient relationships: an
- edge from a group G on the top to a group H on the bottom means H is a
- subquotient of G. Mathieu groups are collored red, Leech lattice groups are
- colored green, other subquotients of the Monster are collored blue and the
- rest of the groups are collored white."
+- path: ./images/complex-surreal-venn.tex
+ license: CC-BY-4
+ author: Pablo
+ author-url: https://pablopie.xyz
+ alt: Two circles, the first representing the complex numbers and the second
+ representing the surreal numbers, intersect in the middle of picture. Their
+ intersection is labeled as the set of real numbers.
+ caption: A Venn diagram representation of the relationship between the real,
+ complex and surreal numbers (denoted by "No")
-- path: ./images/square-to-circle-projection.tex
+- path: ./images/natural-number-line.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A circle and a square. A dotted ray connects the center of the square to
- a point in the circle, passing through a point in the perimeter of the
- square.
- caption: "The projection from the square to the circle: we map a point in
- the square of length √2/2 onto the unit circle by normalizing it"
+ alt: The natural number line
-- path: ./images/standard-sets-venn.tex
+- path: ./images/real-number-line.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: Venn diagram representation of the containment relations between the
- natural numbers, integers, rational number, real numbers and complex
- numbers
+ alt: The real number line
-- path: ./images/stereographic-projection.tex
+- path: ./images/ordinal-number-line.tex
license: CC-BY-4
author: Pablo
author-url: https://pablopie.xyz
- alt: A sphere sits on top of plane, with a line connecting the north pole to
- the a point on the plane, passing thought another point in the sphere
- caption: "The stereographic projection: for each point P in the sphere we
- cast a ray from the north pole, identifying P with the point of
- intersection of this ray and the plane just bellow the sphere"
+ alt: "The ordinal number line: the natural numbers accumulate around ω,
+ followed by ω-translates of the natural numbers and so on"
+ caption: The ordinal number line
# TODO: Get the TikZ code for this somehow?
- path: ./images/surreal-number-tree.svg
@@ -328,47 +381,3 @@
alt: "A complex tree with vertices organized by stages and labelled by
different real and natural numbers"
caption: Visualization of the surreal number tree
-
-- path: ./images/tangent-space.tex
- license: CC-BY-4
- author: Gustavo Mezzovilla
- alt: A surface with a highlighted point on its interior, together with the
- plane tangent to the surface at that point
- caption: The tangent space of a smooth manifold at a point
-
-- path: ./images/topology-mug-donut.tex
- license: CC-BY-4
- author: Pablo
- author-url: https://pablopie.xyz
- alt: A mug continuously morphing into a donut
- caption: The homeomorphism between the surface of a mug and that of a donut
-
-- path: ./images/unit-circle-covering.tex
- license: CC-BY-4
- author: Pablo
- author-url: https://pablopie.xyz
- alt: A downwords spiral with a circle on its bottom and an arrow labelled "π"
- pointing from the spiral to the circle
- caption: "The universal covering of the circle: we can picture winding the
- real line around the circle by identifying it with an infinite vertical
- spiral whose “shadow” in the xy-plane is the circle"
-
-- path: ./images/unit-circle.tex
- license: CC-BY-4
- author: Pablo
- author-url: https://pablopie.xyz
- alt: A circle with two highlighted points labelled "i" and "1"
- caption: The unit complex circle
-
-- path: ./images/upper-central-projection.tex
- license: CC-BY-4
- author: Pablo
- author-url: https://pablopie.xyz
- alt: The upper cap of a sphere sits just bellow a plane, with a line
- connecting the center of the half-sphere to the a point on the plane,
- passing thought another point in the sphere
- caption: "A graphical depiction of the central projection between the
- upper semi-sphere and the Euclidean plane: we map each point in the upper
- half of the sphere to the projection of this point in the tangent plane at
- the north pole by drawing a line between this point and the center of the
- sphere and then taking the intersection of such line with the plane."