Categories in Gibbons, AB, B-BI