🚀 go-pugleaf

"Piotr Dembiński" <pdemb@gazeta.pl> wrote:

> Spojrzałem sobie na stronę teorii kategorii w angielskiej Wikipedii
> i wygląda na to, że gdyby przyłożyć teorię kategorii do programów
> komputerowych, to jest to dopełnienie refaktoryzacji

Przylozyc mozna Ci paskiem na tylek za testowanie na pl.comp.objects
programow do generowania belkotu (wierze, ze nie testowales programu, ktory
dostales od Matki Natury).

Zreszta, to co pisza na wikipedii nie jest dokladnie tym, co powinni czytac
ludzie chcacy sobie wyrobic wyobrazenie o tym czym jest CT.

Teoria kategorii nie jest o abstrakcji. Teoria kategorii jest o
bezelementowym podejsciu do uprawiania matematyki. To, ze mozemy w CT
pracowac na wysokim poziomie abstrakcji, jest raczej konsekwencja wlasciwego
podejscia do opisu pojec.

Wyobrazenie, ze teoria kategorii jest o abstrakcji to efekt wieloletnich
dzialan destrukcyjnych systemu nauczania na mlode mozgi przyszlych
scjentystow i wpajania im od najmlodszych lat elementocentrycznego podejscia
do matematyki. Sila destrukcji jest tak silna, ze niektorzy nie sa juz w
stanie kiedykolwiek pozniej oderwac sie od tego podejscia...


p.s. Nie bede dostepny przez kilka dni, wiec jezeli chesz zadac jakies
pytanie, masz czas aby dobrze i dlugo sie nad tym pytaniem zastanowic.


mp