diff --git a/_drafts/not-all-equalities-are-made-equal.md b/_drafts/not-all-equalities-are-made-equal.md new file mode 100644 index 0000000..38b4f69 --- /dev/null +++ b/_drafts/not-all-equalities-are-made-equal.md @@ -0,0 +1,12 @@ +--- +layout: post +title: "Not all equalities are made equal" +--- + +UIP, martin hoffmann, groupoid model... + + + +{% katexmm %} + +{% endkatexmm %}