圏論では良く(∞, 1)-圏とか、似たような名前の圏が沢山ありますが、この()-付きの意味は何なので

圏論では良く(∞, 1)-圏とか、似たような名前の圏が沢山ありますが、この()-付きの意味は何なのでしょうか？
　また、トポスにも同じ()-付きがありますが、これも圏と同じことを表しているのでしょうか？

No.1 回答者： Tacosan 回答日時： 2025/03/03 04:25

圏論は知らんけど, 「(∞, 1)-圏」とあったら

∞ と 1 という 2個のパラメータで規定される圏
という意味に解するものではないかな.

それらのパラメータがどのような意味を持っているのか, それらのパラメータからどのように圏を規定するのかは知らん.