ONLINE: Category theory for geometers