Categories for ARKEL