categorical systems