Adding Erik's notes on homological dimensions