n-圏達を対象とする(n + 1)-圏を $`n{\bf Cat}`$ と書きます。特に、$`{\bf Cat} = 1{\bf Cat}`$ です。$`{\bf Cat}`$ は、1-圏達を対象とする(1 + 1)-圏です。また、$`{\bf Set} = 0{\bf Cat}`$ です。$`{\bf Set}`$ は、0-圏達を対象とする(0 + 1)-圏です…