Wkład użytkownika Soul windsurfer

Przejdź do nawigacji Przejdź do wyszukiwania
Szukaj wkładuRozwińZwiń
⧼contribs-top⧽
⧼contribs-date⧽
(od najnowszych | od najstarszych) Zobacz (50 nowszych | ) (20 | 50 | 100 | 250 | 500)

8 cze 2023

2 cze 2023

27 maj 2023

13 maj 2023

12 maj 2023

27 kwi 2023

24 kwi 2023

21 kwi 2023

12 kwi 2023

  • 19:2419:24, 12 kwi 2023 różn. hist. +200 m Programowanie w systemie UNIX/HaskellEugenia Chang's characterization of category theory that uh category theory is the mathematics of mathematics whatever mathematics does for the world category Theory does for mathematics and this is kind of just my attempt to illustrate that idea and hopefully without going into any of the details about what category Theory actually consists of um and my hope is that this helps put it into some uh useful context for people so that's the talk thanks so much ostatnia
(od najnowszych | od najstarszych) Zobacz (50 nowszych | ) (20 | 50 | 100 | 250 | 500)