18D05 - Category theory; homological algebra :: Categories with structure :: Double categories, $2$-categories, bicategories and generalizations