В статье вводится понятие t-полного монадного морфизма в в специальной категории. На основании этого понятия исследуется свойство делимости монадного морфизма. Полученые результаты позволяют построить алгоритм эквивалентной декомпозиции сложных систем.