15 commits

Author	SHA1	Message	Date
Leon Vatthauer	59b2631a13	Work on bisimilarity	2024-04-05 19:27:19 +02:00
Leon Vatthauer	2eabecda8f	minor	2024-04-02 11:40:26 +02:00
Leon Vatthauer	78cd9676f4	Work on colimits	2024-03-31 12:54:31 +02:00
Leon Vatthauer	5bae77ae05	Work on initial algebra construction, rework limits	2024-03-30 18:11:52 +01:00
Leon Vatthauer	479336a7dd	Work on limits	2024-03-29 16:31:28 +01:00
Leon Vatthauer	16e70f6bb2	somewhat finish coalgebras	2024-03-28 19:46:30 +01:00
Leon Vatthauer	89d5719369	Work on coalgebras	2024-03-28 11:21:48 +01:00
Leon Vatthauer	1317daa802	Export macros to catprog.sty, work on F-algebras section	2024-03-27 10:35:17 +01:00
Leon Vatthauer	64cbc50601	Finish functor section	2024-03-26 08:10:00 +01:00
Leon Vatthauer	dfccca8326	functors	2024-03-25 12:02:25 +01:00
Leon Vatthauer	f537b830a7	Work on categorical prelims, added quiver.sty	2024-03-24 13:50:49 +01:00
Leon Vatthauer	75a42e4886	Introduction to categories, also some work on introduction	2024-03-22 18:00:53 +01:00
Leon Vatthauer	43cbe73359	Work on data types chapter	2024-03-22 13:39:29 +01:00
Leon Vatthauer	89923c10c2	Add outline	2024-03-20 15:41:33 +01:00
Leon Vatthauer	1cae1942f3	Create template	2024-03-20 15:13:19 +01:00