Интервалы Ловера и функция Мёбиуса категории Мёбиуса

摘要

Интервалы Ловера категорий Мёбиуса суть конечные однонаправленные категории. В статье изучается простая связь между функцией Мёбиуса категории Мёбиуса и функциями Мёбиуса ее интервалов Ловера. При этом учитывается, что большой класс категорий Мёбиуса возникает как остовы категорий деления (которые являются сократимыми справа с расслоенным копроизведением). Вообще говоря, вычисление функции Мёбиуса для категории Мёбиуса трудоемко. В нашем случае оно становится рутинной операцией на конечных решетках. В качестве иллюстрации, результаты этой статьи использованы для вычисления функции Мёбиуса собственной категории Мёбиуса.