Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://tomo.airen-no-jikken.icu/objects/cd281a31-d872-497a-802f-6be6ae43e011">バツ子（ラブと小雨 (shmibs@tomo.airen-no-jikken.icu)'s status on Saturday, 15-Oct-2022 02:43:50 JST</a><a href="https://tomo.airen-no-jikken.icu/users/shmibs" title="shmibs@tomo.airen-no-jikken.icu"><img src="https://gnusocial.jp/avatar/4858-48-20221014134657.webp" width="48" height="48" alt="バツ子（ラブと小雨" style="position: absolute; left: 0; top: 0;">バツ子（ラブと小雨</a><div><a href="https://pl.nulled.red/objects/7cf00a4b-5a9c-4517-b1cd-f4c4209a3428" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><a href="https://pl.nulled.red/users/placholdr">@placholdr</a> <br>book 1: <br><a href="https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/mathematical-logic-and-computation">https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/mathematical-logic-and-computation</a><br>(he does proof assistant work, including lean stuff recently with that buzzard<br><br>book 2:<br><a href="https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/invitation-applied-category-theory-seven-sketches-compositionality">https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/invitation-applied-category-theory-seven-sketches-compositionality</a><br><br>lectures: <br><a href="https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5">https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5</a></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/258363#notice-457098">In conversation</a><time datetime="2022-10-15T02:43:50+09:00" title="Saturday, 15-Oct-2022 02:43:50 JST">Saturday, 15-Oct-2022 02:43:50 JST</time> <span>from <span><a href="https://tomo.airen-no-jikken.icu/objects/cd281a31-d872-497a-802f-6be6ae43e011" rel="external" title="Sent from tomo.airen-no-jikken.icu via ActivityPub">tomo.airen-no-jikken.icu</a></span></span><a href="https://tomo.airen-no-jikken.icu/objects/cd281a31-d872-497a-802f-6be6ae43e011">permalink</a><h4>Attachments</h4><ol><li><article><header><div>Domain not in remote thumbnail source whitelist: www.cambridge.org</div><h5><a href="https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/mathematical-logic-and-computation">Logic, categories and sets</a></h5><div></div></header><div></div><footer></footer></article></li><li><article><header><div>Domain not in remote thumbnail source whitelist: www.cambridge.org</div><h5><a href="https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/invitation-applied-category-theory-seven-sketches-compositionality">Logic, categories and sets</a></h5><div></div></header><div></div><footer></footer></article></li><li><article><header><img height="128" width="128" src="https://gnusocial.jp/thumbnail/169848?w=128&amp;h=128"><h5><a href="https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5">Applied Category Theory (@ MIT 2019)</a></h5><div> from <span>Topos Institute</span></div></header><div>https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/</div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
バツ子（ラブと小雨 (shmibs@tomo.airen-no-jikken.icu)'s status on Saturday, 15-Oct-2022 02:43:50 JSTバツ子（ラブと小雨
in reply to
- JyatiriJygalo
@placholdr
book 1:
https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/mathematical-logic-and-computation
(he does proof assistant work, including lean stuff recently with that buzzard

book 2:
https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/invitation-applied-category-theory-seven-sketches-compositionality

lectures:
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5
In conversationSaturday, 15-Oct-2022 02:43:50 JST from tomo.airen-no-jikken.icupermalink
Attachments
1. Domain not in remote thumbnail source whitelist: www.cambridge.org
  Logic, categories and sets
2. Domain not in remote thumbnail source whitelist: www.cambridge.org
  Logic, categories and sets
3. Applied Category Theory (@ MIT 2019)
  from Topos Institute
  https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/

Public

Embed Notice

HTML Code

Corresponding Notice