b'\n_START_ARTICLE_\nKategorija (matematika)\n_START_PARAGRAPH_\nKategorija je v matematiki algebrska struktura, ki jo sestavlja zbirka objektov. Objekti so med seboj povezani tako, da za vsak objekt vemo, kateri je za\xc4\x8detni in kateri kon\xc4\x8dni. Te povezave lahko prika\xc5\xbeemo ali obravnavamo tudi kot pu\xc5\xa1\xc4\x8dice._NEWLINE_Podro\xc4\x8dje matematike, ki obravnava kategorije in preslikave med njimi, se imenuje teorija kategorij.\n_START_SECTION_\nZgledi\n_START_PARAGRAPH_\nRazred vseh mno\xc5\xbeic z vsemi funkcijami med njimi, ki so obi\xc4\x8dajne kompozicije funkcij tvorijo veliko kategorijo, ki jo ozna\xc4\x8dujemo s Set.\n_START_SECTION_\nDualna kategorija\n_START_PARAGRAPH_\nKategorija , ki ima objekte enake kot prvotna kategorija in ima pu\xc5\xa1\xc4\x8dice obrnjene se imenuje dualna (nasprotna) kategorija. Ozna\xc4\x8duje se z\n_START_SECTION_\nProdukt kategorij\n_START_PARAGRAPH_\n\xc4\x8ce imamo dve kategoriji  in , lahko tvorimo produkt kategorij . Objekti v tej nastali kategoriji so paroma sestavljeni iz po enega objekta iz kategorije  in enega objekta iz kategorije . Morfizem nove kategorije je prav tako par sestavljen iz po enega morfizma kategorije  in enega morfizma iz kategorije .\n_START_SECTION_\nMala kategorija\n_START_PARAGRAPH_\nKategorija  se imenuje mala kategorija, \xc4\x8de sta  in  mno\xc5\xbeici in ne _NEWLINE_lastni mno\xc5\xbeici (razred, ki ni mno\xc5\xbeica).'