古典的キレン・モデル構造

位相空間の圏

擬圏の圏