圏の概念を一般化する方法として、豊穣化と内部化があります。例えば、圏達の圏で豊穣化した豊穣圏は厳密2-圏です。圏達の圏に内部化した内部圏は二重圏です。豊穣化ではホムセットが集合以外のモノになり、内部化では対象集合／射集合が集合以外のモノにな…