自分記事への参照
弱2-圏
米田
ラックス関手
モノイド圏
- モノイド圏の随伴性を“豊饒圏の圏”の随伴性に持ち上げる: 計画編
- モノイド自然変換とモノイド同値関手
- モノイド圏と加群圏に関するフォークロアとマックレーン五角形・三角形
- * モノイド関手/ラックス・モノイド関手とその実例
- * ラックス・モノイド関手について、もうちょっと
- モノイド圏と加群圏に関するフォークロアとマックレーン五角形・三角形
豊饒圏
- * モノイド圏の随伴性を“豊饒圏の圏”の随伴性に持ち上げる: 計画編
- 豊饒圏(ピノキオ)が圏(人間)になる物語
- 豊饒プロ関手は豊饒な世界を提供するのか
- 豊饒圏をちゃんと定義したい
- 豊饒圏と似たナニカが定義できた
- * 豊饒圏とラックス関手
表現