act4e_solutions\src - ethz/act4e - Applied Category Theory for Engineering 1 Maker Track @ ETHZ

Mode	Name	Size
-rw-r--r--	__init__.py	0	log stats plain
-rw-r--r--	currency_ex.py	333	log stats plain
-rw-r--r--	intro.py	146	log stats plain
-rw-r--r--	maps.py	385	log stats plain
-rw-r--r--	maps_representation.py	391	log stats plain
-rw-r--r--	posets.py	0	log stats plain
-rw-r--r--	posets_bounds.py	2173	log stats plain
-rw-r--r--	posets_construction.py	274	log stats plain
-rw-r--r--	posets_interval.py	521	log stats plain
-rw-r--r--	posets_map.py	455	log stats plain
-rw-r--r--	posets_monoidal.py	294	log stats plain
-rw-r--r--	posets_product.py	290	log stats plain
-rw-r--r--	posets_representation.py	353	log stats plain
-rw-r--r--	posets_sum.py	323	log stats plain
-rw-r--r--	py.typed	0	log stats plain
-rw-r--r--	relations.py	2117	log stats plain
-rw-r--r--	relations_representation.py	415	log stats plain
-rw-r--r--	semicategory_representation.py	1225	log stats plain
-rw-r--r--	semigroups.py	253	log stats plain
-rw-r--r--	semigroups_morphisms.py	607	log stats plain
-rw-r--r--	semigroups_morphisms_representation.py	1166	log stats plain
-rw-r--r--	semigroups_representation.py	1006	log stats plain
-rw-r--r--	sets.py	450	log stats plain
-rw-r--r--	sets_power.py	278	log stats plain
-rw-r--r--	sets_product.py	293	log stats plain
-rw-r--r--	sets_properties.py	642	log stats plain
-rw-r--r--	sets_representation.py	344	log stats plain
-rw-r--r--	sets_sum.py	317	log stats plain
-rw-r--r--	sets_union_inter.py	607	log stats plain