Editing Isomorphism of categories (section)

==Examples==
* {{anchor|Category of representations}} Consider a finite [[group (mathematics)|group]] ''G'', a [[field (mathematics)|field]] ''k'' and the [[Group ring#Group algebra over a finite group|group algebra]] ''kG''. The category of ''k''-linear [[group representation]]s of ''G'' is isomorphic to the category of [[module (mathematics)|left module]]s over ''kG''. The isomorphism can be described as follows: given a group representation ρ : ''G'' → GL(''V''), where ''V'' is a [[vector space]] over ''k'', GL(''V'') is the group of its ''k''-linear [[automorphism]]s, and ρ is a [[group homomorphism]], we turn ''V'' into a left ''kG'' module by defining <math display="block">\left(\sum_{g\in G} a_g g\right) v = \sum_{g\in G} a_g \rho(g)(v)</math> for every ''v'' in ''V'' and every element Σ ''a<sub>g</sub>'' ''g'' in ''kG''. {{pb}} Conversely, given a left ''kG'' module ''M'', then ''M'' is a ''k'' vector space, and multiplication with an element ''g'' of ''G'' yields a ''k''-linear automorphism of ''M'' (since ''g'' is invertible in ''kG''), which describes a group homomorphism ''G'' → GL(''M''). (There are still several things to check: both these assignments are functors, i.e. they can be applied to maps between group representations resp. ''kG'' modules, and they are inverse to each other, both on objects and on morphisms.) See also {{slink|Representation theory of finite groups#Representations, modules and the convolution algebra}}.
* Every [[ring (mathematics)|ring]] can be viewed as a [[preadditive category]] with a single object. The [[functor category]] of all [[additive functor]]s from this category to the [[category of abelian groups]] is isomorphic to the category of left modules over the ring.
* Another isomorphism of categories arises in the theory of [[Boolean algebra (structure)|Boolean algebra]]s: the category of Boolean algebras is isomorphic to the category of [[Boolean ring]]s. Given a Boolean algebra ''B'', we turn ''B'' into a Boolean ring by using the [[symmetric difference]] as addition and the meet operation <math>\land</math> as multiplication. Conversely, given a Boolean ring ''R'', we define the join operation by ''a''<math>\lor</math>''b'' =  ''a'' + ''b'' + ''ab'', and the meet operation as multiplication. Again, both of these assignments can be extended to morphisms to yield functors, and these functors are inverse to each other.
* If ''C'' is a category with an initial object s, then the [[slice category]] (''s''↓''C'') is isomorphic to ''C''. [[Dual (category theory)|Dually]], if ''t'' is a terminal object in ''C'', the functor category (''C''↓''t'') is isomorphic to ''C''. Similarly, if '''1''' is the category with one object and only its identity morphism (in fact, '''1''' is the [[terminal object|terminal category]]), and ''C'' is any category, then the functor category ''C''<sup>'''1'''</sup>, with objects functors ''c'': '''1''' → ''C'', selecting an object ''c''∈Ob(''C''), and arrows natural transformations ''f'': ''c'' → ''d'' between these functors, selecting a morphism ''f'': ''c'' → ''d'' in ''C'', is again isomorphic to ''C''.