This page has moved to https://pbelmans.ncag.info/teaching/heisenberg-categorification-2019/.