rachel/rachel.cafe
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'master' of githug.xyz:depsterr/rachel.cafe

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2023-04-19 15:32:00 +02:00
commit c1ca08f3f8
3 changed files with 20 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
_drafts/haskell-in-a-category.md Normal file
View File

@ -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
<!--more-->

10
_drafts/lccc.md Normal file
View File

@ -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?
<!--more-->

6
readme.md
View File

@ -13,9 +13,3 @@ sources for rachel.cafe. built using jekyll (without a theme).
## Aknowlegdements ## Aknowlegdements
This repository contains katex code for self hosting katex. This code is used under the MIT LICENSE (for details, read the `LICENSE` file). 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