Categories for IsoMatic Manuals