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 |