This page has moved to https://thomasnikolaus.de/categories_and_symmetries.html.