|
|
Category theory; abstract homological algebra
{See
Teoria delle categorie, algebra omologica astratta { vedi |
| 18-00 |
General reference works (handbooks, dictionaries, bibliographies, etc.)
Opere di riferimento generale (manuali, dizionari, bibliografie ecc.) |
| 18-01 |
Instructional exposition (textbooks, tutorial papers, etc.)
Esposizione didattica (libri di testo, articoli tutoriali ecc.) |
| 18-02 |
Research exposition (monographs, survey articles)
Presentazione di ricerche (monografie, articoli di rassegna) |
| 18-03 |
Historical {!must also be assigned at least one classification number from section 01}
Opere storiche {!va assegnato almeno un altro numero di classificazione della sezione 01} |
| 18-04 |
Explicit machine computation and programs (not the theory of computation or programming)
Calcolo automatico esplicito e programmi (non teoria della computazione o della programmazione) |
| 18-06 |
Proceedings, conferences, collections, etc.
Atti, conferenze, collezioni ecc. |
|
|
General theory of categories and functors
Teoria generale delle categorie e dei funtori |
| 18A05 |
Definitions, generalizations
Definizioni, generalizzazioni |
| 18A10 |
Graphs, diagram schemes, precategories
[See especially
Grafi, schemi di diagramma, precategorie [Vedi specialmente |
| 18A15 |
Foundations, relations to logic and deductive systems
[See especially
Fondamenti, relazioni con la logica ed i sistemi deduttive [Vedi specialmente |
| 18A20 |
Epimorphisms, monomorphisms, special classes of morphisms, null morphisms
Epimorfismi, monomorfismi, classi speciali di morfismi, morfismi nulli |
| 18A22 |
Special properties of functors (faithful, full, etc.)
Propriet\`a speciali dei funtori (fedeli, pieni ecc.) |
| 18A23 |
Natural morphisms, dinatural morphisms
Morfismi naturali, morfismi dinaturali |
| 18A25 |
Functor categories, comma categories
Categorie di funtori, categorie comma |
| 18A30 |
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
Limiti e colimiti (prodotti, somme, limiti diretti, pushouts?spinte?somme amalgamate, prodotti fibrati, equalizzatori, nuclei, ends?estremit\`a e coestremit\`a ecc.) |
| 18A32 |
Factorization of morphisms, substructures, quotient structures, congruences, amalgams
Fattorizzazione di morfismi, sottostrutture, strutture quozienti, congruenze, amalgami |
| 18A35 |
Categories admitting limits (complete categories), functors preserving limits, completions
Categorie che ammettono limiti (categorie complete), funtori che conservano i limiti, completamenti |
| 18A40 |
Adjoint functors (representable functors, universal constructions, reflective subcategories, reflections, etc.), constructions of adjoints (Kan extensions, etc.)
Funtori aggiunti (funtori rappresentabili, costruzioni universali, sottocategorie riflessive, riflessioni ecc.), costruzioni di aggiunti (estensioni di Kan ecc.) |
| 18A99 |
None of the above, but in this section
Diverso da quanto sopra, ma in questa sezione |
|
|
Special categories
Categorie speciali |
| 18B05 |
Category of sets, characterizations
[See also
Categorie di insiemi, caratterizzazioni $ |
| 18B10 |
Category of relations, additive relations
Categorie di relazioni, relazioni additive |
| 18B15 |
Embedding theorems, universal categories
[See also
Teoremi di immersione, categorie universali $ |
| 18B20 |
Categories of machines, automata, operative categories
[See also
Categorie di macchine, automi, categorie operative $ |
| 18B25 |
Topoi
[See also
Topoi $ |
| 18B30 |
Categories of topological spaces and continuous mappings
[See also
Categorie di spazi topologici e di applicazioni continue $ |
| 18B35 |
Preorders, orders and lattices (viewed as categories)
[See also
Preordini, ordini e reticoli (visti come categorie) $ |
| 18B40 |
Groupoids, semigroupoids, semigroups, groups (viewed as categories)
[See also
Gruppoidi, semigruppoidi, semigruppi, gruppi (visti come categorie) $ |
| 18B99 |
None of the above, but in this section
Diverso da quanto sopra, ma in questa sezione |
|
|
Categories and theories
Categorie e teorie |
| 18C05 |
Equational categories
[See also
Categorie equazionali $ |
| 18C10 |
Theories (e.g.
Algebraic theories), structure, and semantics
[See also
Teorie (e.g. Teorie algebriche), strutture e semantica $ |
| 18C15 |
Triples (=standard construction, monad or triad), algebras for a triple, homology and derived functors for triples
[See also
Terne (= costruzione standard, monade o triade), algebre per una terna, omologia e funtori derivati per le terne $ |
| 18C20 |
Algebras and Kleisli categories associated with monads
Algebre e categorie di Kleisli associate con monadi |
| 18C30 |
Sketches and generalizations
Sketches e generalizzazioni |
| 18C35 |
Accessible and locally presentable categories
Categorie accessibili e localmente presentabili |
| 18C50 |
Categorical semantics of formal languages
[See also
Semantica categoriale dei linguaggi formali $ |
| 18C99 |
None of the above, but in this section
Diverso da quanto sopra, ma in questa sezione |
|
|
Categories with structure
Categorie con strutture |
| 18D05 |
Double categories, $2$-categories, bicategories and generalizations
Categorie doppie, 2-categorie, bicategorie e generalizzazioni |
| 18D10 |
Monoidal categories (=multiplicative categories), symmetric monoidal categories, braided categories
[See also
Categorie monoidali (= categorie moltiplicative), categorie monoidali simmetriche, categorie intrecciate $ |
| 18D15 |
Closed categories (closed monoidal and Cartesian closed categories, etc.)
Categorie chiuse (categorie monoidali e Cartesiane chiuse ecc.) |
| 18D20 |
Enriched categories (over closed or monoidal categories)
Categorie arricchite (sopra categorie chiuse o monoidali) |
| 18D25 |
Strong functors, strong adjunctions
Funtori forti, aggiunzioni forti |
| 18D30 |
Fibered categories
Categorie fibrate |
| 18D35 |
Structured objects in a category (group objects, etc.)
Oggetti strutturati in una categoria (oggetti gruppali? ecc.) |
| 18D50 |
Operads
[See also
Operadi? $ |
| 18D99 |
None of the above, but in this section
Diverso da quanto sopra, ma in questa sezione |
|
|
Abelian categories
Categorie abeliane |
| 18E05 |
Preadditive, additive categories
Categorie preadditive, categorie additive |
| 18E10 |
Exact categories, Abelian categories
Categorie esatte, categorie abeliane |
| 18E15 |
Grothendieck categories
Categorie di Grothendieck |
| 18E20 |
Embedding theorems
[See also
Teoremi di immersione $ |
| 18E25 |
Derived functors and satellites
Funtori derivati e satelliti |
| 18E30 |
Derived categories, triangulated categories
Categorie derivate, categorie triangolate |
| 18E35 |
Localization of categories
Localizzazione di categorie |
| 18E40 |
Torsion theories, radicals
[See also
Teorie di torsione, radicali $ |
| 18E99 |
None of the above, but in this section
Diverso da quanto sopra, ma in questa sezione |
|
|
Categories and geometry
Categorie e geometria |
| 18F05 |
Local categories and functors
Categorie locali e funtori locali |
| 18F10 |
Grothendieck topologies
[See also
Topologie di Grothendieck $ |
| 18F15 |
Abstract manifolds and fiber bundles
[See also
Variet\`a astratte e fiber bundles?fibrati $ |
| 18F20 |
Presheaves and sheaves
[See also
Prefasci e fasci $ |
| 18F25 |
$K$-teoria algebrica ed $L$-teoria $ |
| 18F30 |
Grothendieck groups
[See also
Gruppi di Grothendieck $ |
| 18F99 |
None of the above, but in this section
Diverso da quanto sopra, ma in questa sezione |
|
|
Abstract homological algebra
[See also
Algebra omologica astratta $ |
| 18G05 |
Projectives and injectives
[See also
Proiettivi ed iniettivi $ |
| 18G10 |
Resolutions; derived functors
[See also
Risoluzioni; funtori derivati $ |
| 18G15 |
Ext and Tor, generalizations, K\"unneth formula
[See also
Ext e Tor, generalizzazioni, formula di Kuenneth $ |
| 18G20 |
Homological dimension
[See also
Dimensione omologica $ |
| 18G25 |
Relative homological algebra, projective classes
Algebra omologica relativa, classi proiettive |
| 18G30 |
Simplicial sets, simplicial objects (in a category)
[See also
Insiemi simpliciali, oggetti simpliciali (in una categoria) $ |
| 18G35 |
Chain complexes
[See also
Complessi di catene $ |
| 18G40 |
Spectral sequences, hypercohomology
[See also
Successioni spettrali, ipercoomologia $ |
| 18G50 |
Nonabelian homological algebra
Algebra omologica non Abeliana |
| 18G55 |
Nonabelian homotopical algebra
Algebra omotopica non Abeliana |
| 18G60 |
Other (co)homology theories
[See also
Altre teorie di omologia e di coomologia $ |
| 18G99 |
None of the above, but in this section
Diverso da quanto sopra, ma in questa sezione |