Co sa tyka aplikovanej informatiky, tak KAM na MFF UK je svetove pracovisko v tych veciach, co robi a plno ludi tam polozilo zaklady teorie, napriklad teoria kategorii, ktora sa dnes uci vsade na svete.
Co tím myslíte? Měl jsem za to, že základy teorie kategorií položili Samuel Eilenberg a Saunders Mac Lane ještě před tím než MFF vůbec vznikla.