N‐Categories in Logic | Publicación