Notes and stuff from exploring mathematical theory