↑
←
→
9.2: bicategories
Notes from
this youtube video