конечный объект категории это 0-арное произведение (а начальный — 0-арное копроизведение)
чому? и как вообще арность произведения считается, и какое вообще произведение рассматривается?
копро-изведение
произведение — это предел диаграммы определённого вида: один объект произведения и n проекций. обычно, правда, говорят, что терминальный объект — это просто предел пустой диаграммы (а инициальный — соответственно, копредел)
котегорное, арность — как уже доложили — число проекций
дя
5 comments
recommend
bookmark
subscribe
чому? и как вообще арность произведения считается, и какое вообще произведение рассматривается?
копро-изведение
произведение — это предел диаграммы определённого вида: один объект произведения и n проекций. обычно, правда, говорят, что терминальный объект — это просто предел пустой диаграммы (а инициальный — соответственно, копредел)
котегорное, арность — как уже доложили — число проекций
дя