https://stringdiagram.com Theoretical computer scientist and lover of of monads and string diagrams Sun, 25 Feb 2024 10:27:46 +0000 en hourly 1 http://wordpress.com/ https://stringdiagram.com/wp-content/uploads/2022/06/cropped-smallspeedo.png?w=32 https://stringdiagram.com 32 32 206761569 https://stringdiagram.com/2024/02/25/an-application-of-monadicity/ https://stringdiagram.com/2024/02/25/an-application-of-monadicity/#respond Sun, 25 Feb 2024 10:27:46 +0000 http://stringdiagram.com/?p=3009 Continue reading "An application of monadicity"]]> https://stringdiagram.com/2024/02/25/an-application-of-monadicity/feed/ 0 3009 stringdiagram https://stringdiagram.com/2024/02/04/a-monad-is-just-a-one-object-enriched-category/ https://stringdiagram.com/2024/02/04/a-monad-is-just-a-one-object-enriched-category/#respond Sun, 04 Feb 2024 10:00:57 +0000 http://stringdiagram.com/?p=3033 Continue reading "A monad is just a one object enriched category"]]> https://stringdiagram.com/2024/02/04/a-monad-is-just-a-one-object-enriched-category/feed/ 0 3033 stringdiagram https://stringdiagram.com/2024/01/28/algebras-are-regular-quotients-of-free-algebras/ https://stringdiagram.com/2024/01/28/algebras-are-regular-quotients-of-free-algebras/#respond Sun, 28 Jan 2024 10:51:15 +0000 http://stringdiagram.com/?p=3088 Continue reading "Algebras are regular quotients of free algebras"]]> https://stringdiagram.com/2024/01/28/algebras-are-regular-quotients-of-free-algebras/feed/ 0 3088 stringdiagram https://stringdiagram.com/2024/01/21/becks-monadicity-theorem/ https://stringdiagram.com/2024/01/21/becks-monadicity-theorem/#comments Sun, 21 Jan 2024 10:45:10 +0000 http://stringdiagram.com/?p=3031 Continue reading "Beck’s Monadicity Theorem"]]> https://stringdiagram.com/2024/01/21/becks-monadicity-theorem/feed/ 2 3031 stringdiagram https://stringdiagram.com/2024/01/14/the-idea-of-monadicity/ https://stringdiagram.com/2024/01/14/the-idea-of-monadicity/#comments Sun, 14 Jan 2024 12:49:59 +0000 http://stringdiagram.com/?p=3007 Continue reading "The Idea of Monadicity"]]> https://stringdiagram.com/2024/01/14/the-idea-of-monadicity/feed/ 2 3007 stringdiagram https://stringdiagram.com/2024/01/07/eilenberg-moore-limits-and-colimits/ https://stringdiagram.com/2024/01/07/eilenberg-moore-limits-and-colimits/#comments Sun, 07 Jan 2024 13:20:52 +0000 http://stringdiagram.com/?p=2957 Continue reading "Eilenberg-Moore limits and colimits"]]> https://stringdiagram.com/2024/01/07/eilenberg-moore-limits-and-colimits/feed/ 3 2957 stringdiagram https://stringdiagram.com/2023/06/19/the-relative-monad-eilenberg-moore-construction/ https://stringdiagram.com/2023/06/19/the-relative-monad-eilenberg-moore-construction/#respond Mon, 19 Jun 2023 11:09:10 +0000 http://stringdiagram.com/?p=2824 Continue reading "The Relative Monad Eilenberg-Moore Construction"]]> https://stringdiagram.com/2023/06/19/the-relative-monad-eilenberg-moore-construction/feed/ 0 2824 stringdiagram https://stringdiagram.com/2023/06/11/the-relative-monad-kleisli-construction/ https://stringdiagram.com/2023/06/11/the-relative-monad-kleisli-construction/#comments Sun, 11 Jun 2023 14:05:47 +0000 http://stringdiagram.com/?p=2771 Continue reading "The Relative Monad Kleisli Construction"]]> https://stringdiagram.com/2023/06/11/the-relative-monad-kleisli-construction/feed/ 1 2771 stringdiagram https://stringdiagram.com/2023/06/06/relative-adjunctions-and-density/ https://stringdiagram.com/2023/06/06/relative-adjunctions-and-density/#respond Tue, 06 Jun 2023 16:34:39 +0000 http://stringdiagram.com/?p=2721 Continue reading "Relative Adjunctions and Density"]]> https://stringdiagram.com/2023/06/06/relative-adjunctions-and-density/feed/ 0 2721 stringdiagram https://stringdiagram.com/2023/06/04/relative-adjunctions/ https://stringdiagram.com/2023/06/04/relative-adjunctions/#comments Sun, 04 Jun 2023 16:51:40 +0000 http://stringdiagram.com/?p=2665 Continue reading "Relative Adjunctions"]]> https://stringdiagram.com/2023/06/04/relative-adjunctions/feed/ 3 2665 stringdiagram