Излагается внутреннее устройство и принципы проектирования операционных систем на основе категорий. Большое внимание уделяется архитектурам построения и технологии поэтапной разработки операционных систем с применением контура (выполняющегося прототипа объективно-ориентированных операционных систем).