1 files changed, 57 insertions, 0 deletions
diff --git a/Homeworks.md b/Homeworks.md
new file mode 100644
index 0000000..e208388
--- /dev/null
+++ b/Homeworks.md
@@ -0,0 +1,57 @@
+# Homeworks
+
+Setup commands
+```
+$ colima start
+$ make docker-check
+```
+
+## Exercises for Oct. 30
+
+- [X] TestSimpleIntro
+
+- [X] TestFiniteSetRepresentation
+- [X] TestFiniteSetProperties
+- [X] TestFiniteMakeSetProduct
+- [X] TestFiniteMakePowerSet
+- [X] TestFiniteSetRepresentationProduct
+- [X] TestFiniteMakeSetDisjointUnion
+
+- [X] TestFiniteMapRepresentation
+- [X] TestFiniteMapOperations
+
+- [X] TestFiniteRelationRepresentation
+- [X] TestFiniteRelationCompose
+- [X] TestFiniteRelationProperties
+- [X] TestFiniteRelationOperations
+
+- [?] TestFiniteEndorelationProperties
+- [?] TestFiniteEndorelationOperations
+
+- [X] TestFiniteSemigroupRepresentation
+- [?] TestFiniteSemigroupConstruct
+- [X] TestFiniteMonoidRepresentation
+- [X] TestFiniteGroupRepresentation
+
+- [X] TestFiniteSemigroupMorphismRepresentation
+- [X] TestFiniteMonoidMorphismRepresentation
+- [X] TestFiniteGroupMorphismRepresentation
+- [X] TestFiniteSemigroupMorphismsChecks
+
+- [X] TestFinitePosetRepresentation
+- [X] TestFinitePosetConstructionPower
+- [X] TestFinitePosetSubsetProperties
+- [?] TestFinitePosetMeasurement
+- [X] TestFinitePosetConstructionProduct
+- [X] TestFinitePosetConstructionSum
+- [X] TestFinitePosetConstructionOpposite
+- [?] TestFinitePosetConstructionTwisted
+- [?] TestFinitePosetConstructionArrow
+
+- [X] TestFiniteMonotoneMapProperties
+
+## Exercises for Nov. 20
+
+- [ ] TestSemiCategoryRepresentation
+- [ ] TestCurrencyOptimization
+- [ ] TestFinitePosetMinMax