rachel.cafe/_drafts/not-all-equalities-are-made-equal.md

13 lines
151 B
Markdown

---
layout: post
title: "Not all equalities are made equal"
---
UIP, martin hoffmann, groupoid model...
<!--more-->
{% katexmm %}
{% endkatexmm %}