Categories for Supralog