From 6fbfc002673eadbf9fe84145fb6455ade89ddc3d Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Tue, 30 Jan 2024 16:39:37 +0000 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index e89ad49..823402c 100644 --- a/README.md +++ b/README.md @@ -24,8 +24,9 @@ This project uses the awesome category theory library for agda ([agda-categories So far the contributions are: 1. Kleisli triples [[merged](https://github.com/agda/agda-categories/pull/381)] - `Categories.Monad.Construction.Kleisli` -2. Distributive categories (and the relation to extensivity) [[merged](https://github.com/agda/agda-categories/pull/383)] +2. Distributive categories (and the relation to extensivity) [[merged](https://github.com/agda/agda-categories/pull/383)] [[merged](https://github.com/agda/agda-categories/pull/410)] - `Categories.Category.Distributive` + - `Categories.Category.Distributive.Properties` - `Categories.Category.Extensive.Bundle` - `Categories.Category.Extensive.Properties.Distributive` 3. Parametrized (or stable) natural numbers objects [[merged](https://github.com/agda/agda-categories/pull/394)]