Cats

2023-05-15 02:52:23 +02:00 · 2023-05-15 02:52:23 +02:00 · a0bc721040
parent 1097325402
commit a0bc721040
2 changed files with 20 additions and 0 deletions
--- a/src/content/_templates/_post.md
+++ b/src/content/_templates/_post.md
@ -0,0 +1,4 @@
+---
+title: Title
+date: {{date:YYYY-MM-DDTHH:mm:ssZ}}
+---
--- a/src/content/posts/category-theory.md
+++ b/src/content/posts/category-theory.md
@ -0,0 +1,16 @@
+---
+title: Category theory, abstract algebra and friends
+date: 2023-05-14T21:57:54+02:00
+---
+
+## Monoid
+
+$$
+(M, *)
+$$
+
+```haskell
+class Monoid a where
+  mempty :: a
+  mappend :: a -> a -> a
+```