see [[nLab:Urs Schreiber]]