JakobBruenker

Path Visualization

As example, we're using the proof that there's a path between homotopy1 and homotopy2 from Exercise 4.

Instead of looking at a circle, let's look at a general path $p$ between some points $x, y : A$, just because it makes it less confusing to visualize. We'll come back to using the circle later on.

A path is a continuous function of type $[0, 1] \rightarrow A$. If we say $x$ is blue and $y$ is red, we can visualize the path $p$ as a colored image of the interval:

avisek

/**
 * Color conversion algorithms (RGB, HSL, XYZ, LAB, LCH)
 * Derived from jQuery Color Picker Sliders by István Ujj-Mészáros
 * Licensed under the Apache License 2.0
 * https://github.com/istvan-ujjmeszaros/jquery-colorpickersliders
 */

export function rgbToHsl(rgb) {
  const r = rgb.r / 255
  const g = rgb.g / 255