From 0cf7c2e866f4c868bce2369fca415a34220365d1 Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Tue, 3 Oct 2023 17:01:18 +0000
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index b798c43..d4989da 100644
--- a/README.md
+++ b/README.md
@@ -16,11 +16,11 @@ So far the contributions are:
     - `Categories.Category.Distributive`
     - `Categories.Category.Extensive.Bundle`
     - `Categories.Category.Extensive.Properties.Distributive`
-3. Parametrized (or stable) natural numbers objects [[WIP](https://github.com/agda/agda-categories/pull/394)]
+3. Parametrized (or stable) natural numbers objects [[merged](https://github.com/agda/agda-categories/pull/394)]
     - `Categories.Object.NaturalNumbers.Parametrized`
     - `Categories.Object.NaturalNumbers.Properties.F-Algebra`
     - `Categories.Object.NaturalNumbers.Properties.Parametrized`
-4. Commutative categories [TODO]
+4. Commutative monad [TODO]
 
 ## TODO
 TODOs are found inside the literate agda files!