• C++

Dependent Types in C++

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

• Type-Theory

Dependent Functions

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

• Modular-Forms

Modular Group

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

• Modular-Forms

Subgroups of the Modular Group

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

• Algebraic-Topology

Covering Spaces

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