Categories in Gibbons, AB, SF-ST