Category «Machine Theory»