Modular Group

The modular group $\SL_2(\Z)$, sometimes called the full modular group, is the group of $2\times ...

Subgroups of the Modular Group

In the [[_notes/Math/Algebra and Number Theory/Modular Group |previous note]], we defined the (fu...

Covering Spaces

Let $p : E \to B$ Be a continuous subjective map. An open set $U\subset B$ is considered evenly c...

Dependent Functions

A depenedent function is a function who's return type can depend on the inputs it recieves. F...

Dependent Types in C++

Many people are aware of how incredible the C++ type system is. There are numerous examples of ve...