空圏0
対称も射も持たない
圏
無