2017-02-06 本質的に有限生成 高次圏論 「本質的に有限生成」という概念を考えている。単なる圏Cのときは簡単で: 圏Cに対して、有限部分グラフGがある。 Gから生成された部分圏をDとする。 CとDは圏同値である。 この概念の高次圏版が欲しい。とりあえず、モノイド圏版でもいい。