2-Category: Bimod(Ab)

Bimod(Ab) is the 2-category whose objects are monoids in Ab (rings), arrows are bimodules of monoids in Ab (rings), and transformations are intertwiners. Specifically, Bimod(Ab) is a bicategory.

2-categories: Bimod(Ab)

This data as json

name is_strict transformations_hr
Bimod(Ab) 0 intertwiners