[Category theory] Algebra over monads [T-algebra] скачать в хорошем качестве

[Category theory] Algebra over monads [T-algebra]

I will introduce how to define "algebra" using monads. ↓List of category theory videos for beginners    • 圏論(初心者向け)   ↓List of category theory videos for more difficult people    • 圏論   ------------ ■Videos that appear in the middle of the video Group theory This is an episode that will allow you to handle things like this    • 【数学基礎論入門】群論なども扱えるようにする回【モデル理論】   Definition of a monad    • 【圏論】モナドの定義   Introductory video on adjoint functors    • 【圏論】随伴関手の入門動画   --------------------------------- ■If you want to read about category theory in text, please download the PDF below. https://alg-d.com/math/kan_extension/ ■Basic books on category theory: "All Concepts are Kan Extensions" and "All Concepts are Kan Extensions II" are on sale now on Amazon https://amzn.to/3C08Qqn https://amzn.to/3OY7EZI --- I made a discord for the alg-d channel, so please join if you'd like (anyone can join)   / discord   *If you are a member, please link your discord account with your youtube account to view the dedicated channel. (This is a collection of member benefits that have been available in communities etc.) --------------------------------- ■Marshmallow (send anything) https://marshmallow-qa.com/79m5047j5u... --------------------------------- Vtuber alg-d, or V-alg-d for short. Twitter: https://x.com/alg_d V designs: https://x.com/waheyhey ↓Chapter 00:00 Introduction 03:22 Algebra over monads 05:24 Example: Monoid 16:15 Example: Semigroup 17:23 Free T-algebra 19:58 Example: Groups, Abelian groups