Warning about potentially wrong stuff.
standardize notation for equivariant categories
slightly incorrect formulation
sync with master and replace ι by i (because CM greek letters do not come in bold)
add fontenc package
updated biblatex files