add Def 2-Vectorraum
add Def Bikategorie