8 commits

Author	SHA1	Message	Date
CDaut	7405c8f60c	Ergänzung zu Kegeln	2022-10-11 10:18:35 +02:00
CDaut	34e67174f5	Co vs Kontravariant	2022-10-08 17:01:49 +02:00
CDaut	54220ccac9	contravariant Hom and pointed sets	2022-10-01 00:40:14 +02:00
CDaut	a765a7fc38	more examples	2022-10-01 00:13:53 +02:00
CDaut	c9bc503321	one more example	2022-09-27 14:06:35 +02:00
CDaut	aa57144040	basics	2022-09-27 03:17:44 +02:00
CDaut	e5b97f956e	Motivation & basic toolchain setup	2022-09-27 01:43:18 +02:00
CDaut	a0e5694994	initial commit	2022-09-27 01:04:43 +02:00