Свойства кратной категории, построенной по категории и решетке

Ранее былa показана целесообразность привлечения аппарата теории категорий для абстрактного описания знаний в системах продукционного типа. Желание применить созданную методику к так называемым динамическим экспертным системам, допускающим изменение данных и знаний в процессе своего функционирования, потребовало определенного обобщения развитого прежде теоретико-категорного аппарата, связанного с введением так называемых кратных категорий. Статья посвящена исследованию некоторых свойств таких категорий.