Categories in Gibbons, AB, BJ-BZ