Categories of computers