４．様々な圏の作成 圏に馴染むためにいくつかの例を挙げることにしよう。 ４．１ 空圏 圏の中でもっとも単純な圏は、対象も射も持たない。このため、恒等射も存在しないことになる。これは空圏(圏0)と呼ばれる。その構成を挙げておこう。 1) 対象：なし 2) …