symmetric monoidal (∞,1)-category of spectra
Alg is the category with algebras as objects and algebra homomorphisms as morphisms.
More abstractly, we can think of as the full subcategory of , internal categories in Vect, with algebras as objects.
In case of Ab, this gives us Category of Rings, namely, .
Since algebras may be identified with one-object categories internal to vector spaces, it is sometimes useful to regard as a strict 2-category, namely as a full sub-2-category of the 2-category . In this case the 2-morphisms between morphisms of algebras come from “intertwiners”: inner endomorphisms of the target algebra.
Precisely analogous statements hold for the category Grp of groups.
With regarded as a strict 2-category this way there is a canonical 2-functor
to the category Bimod, which sends algebra homomorphisms to the - bimodule . This exhibits as a framed bicategory in the sense of Shulman.
Last revised on February 16, 2021 at 09:56:24. See the history of this page for a list of all contributions to it.