Categories in Milner, BC, TI-TZ