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