leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

🔀 Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer

Browse source
This commit is contained in:
Leon Vatthauer 2023-10-03 19:44:22 +02:00
commit 7e9653c41e
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -16,11 +16,11 @@ So far the contributions are:
- `Categories.Category.Distributive` - `Categories.Category.Distributive`
- `Categories.Category.Extensive.Bundle` - `Categories.Category.Extensive.Bundle`
- `Categories.Category.Extensive.Properties.Distributive` - `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.Parametrized`
- `Categories.Object.NaturalNumbers.Properties.F-Algebra` - `Categories.Object.NaturalNumbers.Properties.F-Algebra`
- `Categories.Object.NaturalNumbers.Properties.Parametrized` - `Categories.Object.NaturalNumbers.Properties.Parametrized`
4. Commutative categories [TODO] 4. Commutative monad [TODO]
## TODO ## TODO
TODOs are found inside the literate agda files! TODOs are found inside the literate agda files!