docs: update README

RedPRL · May 29, 2024 · 6d135c0 · 6d135c0
1 parent df7ad5a
commit 6d135c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -36,8 +36,8 @@ This is a formalization of the displacement algebras, their properties, and part
 | :------------------------------------ | :----------------- | :----------------------------------------------------------------------------------------------- |
 | Validity of McBride monads            | 3.1                | [McBride](./src/Mugen/Cat/HierarchyTheory/McBride.agda)                                          |
 | Embedding of endomorphisms            | 3.4 (Lemma 3.8)    | [EndomorphismEmbedding](./src/Mugen/Cat/HierarchyTheory/Universality/EndomorphismEmbedding.agda) |
-| Embedding of small hierarchy theories | 3.4 (Lemma 3.9)    | _(TODO)_                                                                                         |
-| Universality of McBride monads        | 3.4 (Theorem 3.10) | _(TODO)_                                                                                         |
+| Embedding of small hierarchy theories | 3.4 (Lemma 3.9)    | [SubcategoryEmbedding](./src/Mugen/Cat/HierarchyTheory/Universality/SubcategoryEmbedding.agda)   |
+| Universality of McBride monads        | 3.4 (Theorem 3.10) | [Universality](./src/Mugen/Cat/HierarchyTheory/Universality.agda)                                |
 
 ## Building