Categories in Gibbons, AB, EH-EO