Данная книга является первой, где систематически изучаются формальные матрицы. Элементы этих матриц принадлежат нескольким (в общем случае разным) кольцам и бимодулям. Частным случаем формальных матриц второго порядка являются контексты Мориты, поначалу предназначавшиеся для описания эквивалентностей между категориями модулей. Они также очень удобны для переноса свойств с одного кольца на другое. Существуют аналоги контекстов Мориты для полуколец, хопфовых и квазихопфовых алгебр, коколец и категорий. Формальные матрицы весьма полезны для построения колец с односторонними несимметричными свойствами. Подробно исследуются инъективные, плоские, проективные и наследственные модули над кольцами фо