From bfada7a2569114236eb3400a0477c5b241d88041 Mon Sep 17 00:00:00 2001 From: depsterr Date: Sun, 16 Apr 2023 19:02:34 +0200 Subject: [PATCH] add drafts --- _drafts/haskell-in-a-category.md | 10 ++++++++++ _drafts/lccc.md | 10 ++++++++++ readme.md | 6 ------ 3 files changed, 20 insertions(+), 6 deletions(-) create mode 100644 _drafts/haskell-in-a-category.md create mode 100644 _drafts/lccc.md diff --git a/_drafts/haskell-in-a-category.md b/_drafts/haskell-in-a-category.md new file mode 100644 index 0000000..3d66a67 --- /dev/null +++ b/_drafts/haskell-in-a-category.md @@ -0,0 +1,10 @@ +--- +layout: post +title: "Haskell, Categories and Algebra" +--- + +some general stuff about haskell and categories as well as algebraic datatypes, F-algebras and some concrete examples of fixpoint constructions and catamorphisms + + + + diff --git a/_drafts/lccc.md b/_drafts/lccc.md new file mode 100644 index 0000000..1e306e2 --- /dev/null +++ b/_drafts/lccc.md @@ -0,0 +1,10 @@ +--- +layout: post +title: "Martin-Löf type theory as an internal language for categories" +--- + +why care about undecidable extensional mltt? internal langauge of LCCCs, describe the theory and the construction in a palettable way. Does katex support tikz-cd? + + + + diff --git a/readme.md b/readme.md index e058274..2fdff5e 100644 --- a/readme.md +++ b/readme.md @@ -13,9 +13,3 @@ sources for rachel.cafe. built using jekyll (without a theme). ## Aknowlegdements This repository contains katex code for self hosting katex. This code is used under the MIT LICENSE (for details, read the `LICENSE` file). - -## TODOs - - * use builtin katex support instead - * switch to org mode? - * write about F-algebras and algebraic datatypes