Commit graph

Select branches

Hide pull requests

master

Mono Color

• 159805ad0a began yoneda chapter master CDaut 2022-11-04 11:53:28 +01:00
• 8608077522 mehr Beispiele zu Adjunktion CDaut 2022-11-02 12:36:41 +01:00
• 1cae847384 tikzcd is cursed CDaut 2022-10-22 15:04:48 +02:00
• 23f00e9d9b Bidualabbildung CDaut 2022-10-20 15:34:07 +02:00
• b86912b93f def nat trafo CDaut 2022-10-18 21:37:48 +02:00
• 027dfedc58 annoying tixfix CDaut 2022-10-17 17:20:02 +02:00
• 0d8cd2eeae Kokern Definition CDaut 2022-10-16 21:57:39 +02:00
• ab54b3ad33 Beispiel für Kern CDaut 2022-10-16 21:49:58 +02:00
• 62b1f74686 \cdot zu \bullet geändert CDaut 2022-10-16 19:55:26 +02:00
• bce8db5665 Kern CDaut 2022-10-16 19:50:28 +02:00
• db05c59a8c fixed formula CDaut 2022-10-16 00:42:44 +02:00
• 61473d76b7 Pushout über KVR CDaut 2022-10-16 00:38:27 +02:00
• 644cdd5a02 Pullback über KVR und Pushout definition CDaut 2022-10-16 00:19:14 +02:00
• 2b3cbd0d83 Kapitel über pullback angefangen CDaut 2022-10-15 20:02:53 +02:00
• dbc4d45820 Kolimiten CDaut 2022-10-15 18:57:33 +02:00
• 419e02adc2 Beispiel Kolimiten CDaut 2022-10-15 11:41:00 +02:00
• fcddaee2f2 TixFix CDaut 2022-10-13 18:00:03 +02:00
• fb7eeff3a0 Anfang Kolimes Kokegel Koprodukt CDaut 2022-10-13 17:57:01 +02:00
• 0d57fb92cf Limiten sind eindeutig CDaut 2022-10-13 17:26:16 +02:00
• 75a6c99d3f Beispiele für Kegel CDaut 2022-10-13 16:21:42 +02:00
• 1c7ffd5705 Beispiele Kegel & Limiten CDaut 2022-10-13 12:59:24 +02:00
• f00a95b0cc limiten CDaut 2022-10-13 11:30:46 +02:00
• 41370d41c0 Kegel CDaut 2022-10-11 11:47:15 +02:00
• e26185ed08 Hom Funktor CDaut 2022-10-11 10:45:11 +02:00
• 7405c8f60c Ergänzung zu Kegeln CDaut 2022-10-11 10:18:35 +02:00
• 34e67174f5 Co vs Kontravariant CDaut 2022-10-08 17:01:49 +02:00
• 54220ccac9 contravariant Hom and pointed sets CDaut 2022-10-01 00:40:14 +02:00
• a765a7fc38 more examples CDaut 2022-10-01 00:13:53 +02:00
• 66a2fc6de2 Hom Functor and more examples CDaut 2022-09-28 13:30:33 +02:00
• f5ee193e30 example on functors CDaut 2022-09-27 20:13:43 +02:00
• 8d9228ea70 something on functors CDaut 2022-09-27 19:15:02 +02:00
• c9bc503321 one more example CDaut 2022-09-27 14:06:35 +02:00
• aa57144040 basics CDaut 2022-09-27 03:17:44 +02:00
• e5b97f956e Motivation & basic toolchain setup CDaut 2022-09-27 01:43:18 +02:00
• a0e5694994 initial commit CDaut 2022-09-27 01:04:43 +02:00