Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mathtod.online/users/mathmathniconico/statuses/109048502528432645">表示名 (mathmathniconico@mathtod.online)'s status on Saturday, 24-Sep-2022 00:49:54 JST</a><a href="https://mathtod.online/@mathmathniconico" title="mathmathniconico@mathtod.online"><img src="https://gnusocial.jp/avatar/6854-48-20220822162051.webp" width="48" height="48" alt="表示名" style="position: absolute; left: 0; top: 0;">表示名</a></section><article><p>モナドの例：配列モナド<br>型を対象、函数（のプログラム）を射とすると圏Typesになる。このとき型$X$を型$X\lbrack\,\rbrack$に、$f\colon X\to Y$を入力$(x_{1},\dotsc, x_{n})$で出力$(f(x_{1}), \dotsc, f(x_{n}))$の函数$f\lbrack\,\rbrack$に対応させることでモナドとなる</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/206477#notice-371195">In conversation</a><time datetime="2022-09-24T00:49:54+09:00" title="Saturday, 24-Sep-2022 00:49:54 JST">Saturday, 24-Sep-2022 00:49:54 JST</time> <span>from <span><a href="https://mathtod.online/@mathmathniconico/109048502528432645" rel="external" title="Sent from mathtod.online via ActivityPub">mathtod.online</a></span></span><a href="https://mathtod.online/@mathmathniconico/109048502528432645">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
表示名 (mathmathniconico@mathtod.online)'s status on Saturday, 24-Sep-2022 00:49:54 JST 表示名
モナドの例：配列モナド
型を対象、函数（のプログラム）を射とすると圏Typesになる。このとき型$X$を型$X\lbrack\,\rbrack$に、$f\colon X\to Y$を入力$(x_{1},\dotsc, x_{n})$で出力$(f(x_{1}), \dotsc, f(x_{n}))$の函数$f\lbrack\,\rbrack$に対応させることでモナドとなる
In conversationSaturday, 24-Sep-2022 00:49:54 JST from mathtod.onlinepermalink

Public

Embed Notice

HTML Code

Corresponding Notice