エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
左随伴関係は関数 - 檜山正幸のキマイラ飼育記 (はてなBlog)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
左随伴関係は関数 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「左随伴関手は左カン拡張を保存する」で、左随伴関手が左カン拡張とうまく協調することを述べました。... 「左随伴関手は左カン拡張を保存する」で、左随伴関手が左カン拡張とうまく協調することを述べました。一般に、左随伴関手や右随伴関手は良い性質を持ちます。 この記事では、お馴染みで簡単な2-圏である関係の2-圏 $`{\bf Rel}`$ において左随伴関手相当の1-射が何であるかを調べてみます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\msc}[1]{ \mathscr{#1} } \newcommand{\dimU}[2]{{#1}\!\updownarrow^{#2}} \newcommand{\twoto}{\Rightarrow } \newcommand{\Imp}{\Rightarrow } \newcommand{\cat}[1]{\mathcal{#1}}`$