From d6788202d19eb958a4263025128d524fe4d51cea Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Tue, 17 Oct 2023 19:55:12 +0200
Subject: Update Homeworks.md

---
 Homeworks.md | 50 +++++++++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 45 insertions(+), 5 deletions(-)

diff --git a/Homeworks.md b/Homeworks.md
index 79eb7b2..c0eaacc 100644
--- a/Homeworks.md
+++ b/Homeworks.md
@@ -6,12 +6,52 @@ $ colima start
 $ make docker-check
 ```
 
-## Week 1
+## Exercises for Oct. 30
+
+- [X] TestSimpleIntro
 
 - [X] TestFiniteSetRepresentation
 - [X] TestFiniteSetProperties
+- [?] TestFiniteMakePowerSet
 - [X] TestFiniteMakeSetProduct
-- [ ] TestFiniteMapRepresentation
-- [ ] TestFiniteMapOperations
-- [ ] TestFiniteSetRepresentation
-- [ ] TestFiniteRelationProperties
+- [X] TestFiniteSetRepresentationProduct
+- [?] TestFiniteMakeSetDisjointUnion
+
+- [X] TestFiniteMapRepresentation
+- [X] TestFiniteMapOperations
+
+- [X] TestFiniteRelationRepresentation
+- [X] TestFiniteRelationCompose
+- [X] TestFiniteRelationProperties
+- [X] TestFiniteRelationOperations
+
+- [?] TestFiniteEndorelationProperties
+- [?] TestFiniteEndorelationOperations
+
+- [ ] TestFiniteSemigroupRepresentation
+- [ ] TestFiniteSemigroupConstruct
+- [ ] TestFiniteMonoidRepresentation
+- [ ] TestFiniteGroupRepresentation
+
+- [ ] TestFiniteSemigroupMorphismRepresentation
+- [ ] TestFiniteMonoidMorphismRepresentation
+- [ ] TestFiniteGroupMorphismRepresentation
+- [ ] TestFiniteSemigroupMorphismsChecks
+
+- [ ] TestFinitePosetRepresentation
+- [ ] TestFinitePosetConstructionPower
+- [ ] TestFinitePosetSubsetProperties
+- [ ] TestFinitePosetMeasurement
+- [ ] TestFinitePosetConstructionProduct
+- [ ] TestFinitePosetConstructionSum
+- [ ] TestFinitePosetConstructionOpposite
+- [ ] TestFinitePosetConstructionTwisted
+- [ ] TestFinitePosetConstructionArrow
+
+- [ ] TestFiniteMonotoneMapProperties
+
+## Exercises for Nov. 20
+
+- [ ] TestSemiCategoryRepresentation
+- [ ] TestCurrencyOptimization
+- [ ] TestFinitePosetMinMax
-- 
cgit v1.2.1