The essence of linear algebra

This series of video-lectures aims at conveying the essential geometrical intuitions behind the most important linear algebra artifacts.…

What is an algebra?

An algebra is just a type τ with some functions and identities. These functions take differing numbers of arguments of type τ and produce a τ; uncurried, they all look like (τ, τ,…, τ) → τ. They can also have "identities"—elements of τ that have special behavior with some of…