Lorentz group

Beginning

This is my attempt to better understand spinors, (in)finite dimensional (non-)unitary representations, etc.