b'\n_START_ARTICLE_\nLiten kategori\n_START_PARAGRAPH_\nI kategoriteori kallas en (matematisk) kategori f\xc3\xb6r en liten kategori, om dess klass av objekt \xc3\xa4r en m\xc3\xa4ngd. Eftersom en klass \xc3\xa4r en m\xc3\xa4ngd precis om den \xc3\xa4r s\xc3\xa5 "liten" att den sj\xc3\xa4lv \xc3\xa4r ett element i n\xc3\xa5gon klass, kan en liten kategori sj\xc3\xa4lv vara ett objekt i en kategori. Alla sm\xc3\xa5 kategorier bildar en kategori Cat, d\xc3\xa4r morfismerna utg\xc3\xb6rs av funktorerna mellan objekten._NEWLINE_Eftersom best\xc3\xa5ndsdelarna i en liten kategori \xc3\xa4r m\xc3\xa4ngder, kan man ocks\xc3\xa5 definiera de grundl\xc3\xa4ggande begreppen f\xc3\xb6r sm\xc3\xa5 kategorier direkt med hj\xc3\xa4lp av den vanliga m\xc3\xa4ngdl\xc3\xa4rans terminologi. M\xc3\xa5nga sm\xc3\xa5 kategorier \xc3\xa4r ocks\xc3\xa5 v\xc3\xa4lk\xc3\xa4nda matematiska objekt, d\xc3\xa4r den kategoriteoretiska beskrivningen kan uppfattas som en omskrivning av v\xc3\xa4lk\xc3\xa4nda egenskaper. Det kan dock ibland vara en f\xc3\xb6rdel med detta kategoriteoretiska syns\xc3\xa4tt, bland annat d\xc3\xa4rf\xc3\xb6r att det kan finnas intressanta funktorer mellan tv\xc3\xa5 kategorier, d\xc3\xa4r bara den ena \xc3\xa4r liten.'