• 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 SL2(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→B Be a continuous subjective map. An open set U⊂B is considered evenly c...