Higher linear algebra

Annoying Precision

Let $latex k$ be a commutative ring. A popular thing to do on this blog is to think about the Morita 2-category $latex text{Mor}(k)$ of algebras, bimodules, and bimodule homomorphisms over $latex k$, but it might be unclear exactly what we’re doing when we do this. What are we studying when we study the Morita 2-category?

The answer is that we can think of the Morita 2-category as a 2-category of module categories over the symmetric monoidal category $latex text{Mod}(k)$ of $latex k$-modules, equipped with the usual tensor product $latex otimes_k$ over $latex k$. By the Eilenberg-Watts theorem, the Morita 2-category is equivalently the 2-category whose

  • objects are the categories $latex text{Mod}(A)$, where $latex A$ is a $latex k$-algebra,
  • morphisms are cocontinuous $latex k$-linear functors $latex text{Mod}(A) to text{Mod}(B)$, and
  • 2-morphisms are natural transformations.

An equivalent way to describe the morphisms is that they are « $latex text{Mod}(k)$-linear » in that they…

View original post 2 945 mots de plus

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s