title: 18-XX
text: # 18-XX
  
  Classificazione delle ricerche matematiche: sezioni di livello 1 00-XX 01 03 05 06 08 | 11 12 13 14 15 16 17 18 19 20 22 | 26 28 30 31 32 33 34 35 37 39 40 41 42 43 44 45 46 47 49 | 51 52 53 54 55 57 58 | 60 62 65 68 | 70 74 76 78 | 80 81 82 83 85 86 | 90 91 92 93 94 97-XX
  
  18-XX è la sigla della sezione primaria dello schema di classificazione MSC dedicata alla teoria delle categorie.
  
  Questa pagina presenta la struttura ad albero delle sue sottosezioni secondarie e terziarie.
  
  ## 18-XX
  
         teoria delle categorie, algebra omologica
         (per gli anelli commutativi vedi 13Dxx, per gli anelli associativi 16Exx, per i gruppi 20Jxx, per i gruppi topologici e le strutture collegate 57Txx; vedi anche 55Nxx e 55Uxx per la topologia algebrica}
  * 18-00 opere di riferimento generale (manuali, dizionari, bibliografie ecc.)
  * 18-01 esposizione didattica (libri di testo, articoli tutoriali ecc.)
  * 18-02 presentazione di ricerche (monografie, articoli di rassegna)
  * 18-03 opere storiche {!va assegnato almeno un altro numero di classificazione della sezione 01-XX}
  * 18-04 calcolo automatico esplicito e programmi (non teoria della computazione o della programmazione)
  * 18-06 atti, conferenze, collezioni ecc.
  
  ## 18Axx
  
         teoria generale delle categorie e dei funtori
  * 18A05 definizioni, generalizzazioni
  * 18A10 grafi, schemi di diagramma, precategorie [vedi specialmente 20L05]
  * 18A15 fondamenti, relazioni con la logica ed i sistemi deduttive [vedi anche 03-XX]
  * 18A20 epimorfismi, monomorfismi, classi speciali di morfismi, morfismi nulli
  * 18A22 proprietà speciali dei funtori (fedeli, pieni ecc.)
  * 18A23 morfismi naturali, morfismi dinaturali
  * 18A25 categorie di funtori, categorie comma
  * 18A30 limiti e colimiti (prodotti, somme, limiti diretti, pushouts?spinte?somme amalgamate, prodotti fibrati, equalizzatori, nuclei, ends?estremità e coestremità ecc.)
  * 18A32 fattorizzazione di morfismi, sottostrutture, strutture quozienti, congruenze, amalgami
  * 18A35 categorie che ammettono limiti (categorie complete), funtori che conservano i limiti, completamenti
  * 18A40 funtori aggiunti (funtori rappresentabili, costruzioni universali, sottocategorie riflessive, riflessioni ecc.), costruzioni di aggiunti (estensioni di Kan ecc.)
  * 18A99 argomenti diversi dai precedenti, ma in questa sezione
  
  ## 18Bxx
  
         categorie speciali
  * 18B05 categorie di insiemi, caratterizzazioni [vedi anche 03-XX]
  * 18B10 categorie di relazioni, relazioni additive
  * 18B15 teoremi di immersione, categorie universali [vedi anche 18E20]
  * 18B20 categorie di macchine, automi, categorie operative [vedi anche 03D05, 68Qxx]
  * 18B25 topoi [vedi anche 03G30]
  * 18B30 categorie di spazi topologici e di applicazioni continue [vedi anche 54-XX]
  * 18B35 preordini, ordini e reticoli (visti come categorie) [vedi anche 06-XX]
  * 18B40 gruppoidi, semigruppoidi, semigruppi, gruppi (visti come categorie) [vedi anche 20Axx, 20L05, 20Mxx]
  * 18B99 argomenti diversi dai precedenti, ma in questa sezione
  
  ## 18Cxx
  
         categorie e teorie
  * 18C05 categorie equazionali [vedi anche 03C05, 08C05]
  * 18C10 teorie (e.g. teorie algebriche), strutture e semantica [vedi anche 03G30]
  * 18C15 terne (= costruzione standard, monade o triade), algebre per una terna, omologia e funtori derivati per le terne [vedi anche 18Gxx]
  * 18C20 algebre e categorie di Kleisli associate con monadi
  * 18C30 sketches e generalizzazioni
  * 18C35 categorie accessibili e localmente presentabili
  * 18C50 semantica categoriale dei linguaggi formali [vedi anche 68Q55, 68Q65]
  * 18C99 argomenti diversi dai precedenti, ma in questa sezione
  
  ## 18Dxx
  
         categorie con strutture
  * 18D05 categorie doppie, 2-categorie, bicategorie e generalizzazioni
  * 18D10 categorie monoidali (= categorie moltiplicative), categorie monoidali simmetriche, categorie intrecciate [vedi anche 19D23]
  * 18D15 categorie chiuse (categorie monoidali e Cartesiane chiuse ecc.)
  * 18D20 categorie arricchite (sopra categorie chiuse o monoidali)
  * 18D25 funtori forti, aggiunzioni forti
  * 18D30 categorie fibrate
  * 18D35 oggetti strutturati in una categoria (oggetti gruppali? ecc.)
  * 18D50 operadi? [vedi anche 55P48]
  * 18D99 argomenti diversi dai precedenti, ma in questa sezione
  
  ## 18Exx
  
         categorie abeliane
  * 18E05 categorie preadditive, categorie additive
  * 18E10 categorie esatte, categorie abeliane
  * 18E15 categorie di Grothendieck
  * 18E20 teoremi di immersione [vedi anche 18B15]
  * 18E25 funtori derivati e satelliti
  * 18E30 categorie derivate, categorie triangolate
  * 18E35 localizzazione di categorie
  * 18E40 teorie di torsione, radicali [vedi anche 13D30, 16S90]
  * 18E99 argomenti diversi dai precedenti, ma in questa sezione
  
  ## 18Fxx
  
         categorie e geometria
  * 18F05 categorie locali e funtori locali
  * 18F10 topologie di Grothendieck [vedi anche 14F20]
  * 18F15 varietà astratte e fasci fibrati [vedi anche 55Rxx, 57Pxx]
  * 18F20 prefasci e fasci [vedi anche 14F05, 32C35, 32L10, 54B40, 55N30]
  * 18F25 K-teoria algebrica ed L-teoria [vedi anche 11Exx, 11R70, 11S70, 12-XX, 13D15, 14Cxx, 16E20, 19-XX, 46L80, 57R65, 57R67]
  * 18F30 gruppi di Grothendieck [vedi anche 13D15, 16E20, 19Axx]
  * 18F99 argomenti diversi dai precedenti, ma in questa sezione
  
  ## 18Gxx
  
         algebra omologica astratta
         [vedi anche 13Dxx, 16Exx, 20Jxx, 55Nxx, 55Uxx, 57Txx]
  * 18G05 proiettivi ed iniettivi [vedi anche 13C10, 13C11, 16D40, 16D50]
  * 18G10 risoluzioni; funtori derivati [vedi anche 13D02, 16E05, 18E25]
  * 18G15 Ext e Tor, generalizzazioni, formula di Kuenneth [vedi anche 55U25]
  * 18G20 dimensione omologica [vedi anche 13D05, 16E10]
  * 18G25 algebra omologica relativa, classi proiettive
  * 18G30 insiemi simpliciali, oggetti simpliciali (in una categoria) [vedi anche 55U10]
  * 18G35 complessi di catene [vedi anche 18E30, 55U15]
  * 18G40 successioni spettrali, ipercoomologia [vedi anche 55Txx]
  * 18G50 algebra omologica non abeliana
  * 18G55 algebra omotopica
  * 18G60 altre teorie di omologia e di coomologia [vedi anche 19D55, 46L80, 58J20, 58J22]
  * 18G99 argomenti diversi dai precedenti, ma in questa sezione
  