Introduzione. - La teoriadelle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] di "coppia di funtori aggiunti" (strettamente collegato alla nozione di funtori rappresentabili), che è uno dei più importanti nell'intera teoriadellecategorie. Date due c. C e D, un funtore F: C → D è detto "aggiunto a sinistra" per un dato ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] erano rivolti alla formulazione di metodi generali e di teorie astratte come l’algebra astratta, la topologia algebrica, la teoriadelle distribuzioni, la teoriadellecategorie. Successivamente è stata dedicata una maggiore attenzione alla soluzione ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] recente ma con promesse di grandi sviluppi sono i rapporti con la teoriadellecategorie, che già ha fornito decisivi contributi all’unificazione dei diversi aspetti della ricerca logica.
I linguaggi formali che la logica matematica utilizza hanno il ...
Leggi Tutto
Conformità o equivalenza tra più parti, termini, elementi.
Biologia
Concetto che esprime il rapporto fra organi o strutture morfologiche propri di categorie tassonomiche diverse (fig. 1), ma aventi la [...] , derivata dal prodotto tensoriale con un procedimento iterabile. Il rapido sviluppo dellateoriadellecategorie e dei funtori ha interagito con lo sviluppo dell’algebra omologica, influenzandone decisivamente i modelli e i metodi; cosicché vari ...
Leggi Tutto
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] programma di Grothendieck aveva portato a grande sviluppo le ricerche di tipo astratto in a. commutativa, omologica e teoriadellecategorie. Durante gli anni Settanta, in parte proprio per il successo di questo programma, ma anche in conseguenza di ...
Leggi Tutto
TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] continue preservanti i punti base. Le tecniche e i processi generali dellateoriadellecategorie sono importanti per la costruzione stessa di certe teorie topologiche.
Invarianti. - Un omeomorfismo fra due spazi stabilisce una corrispondenza ...
Leggi Tutto
(v. topologia, App:. III, 11, p. 960; algebra omologica, App. IV, I, p. 87)
Introduzione. - L'a.o. ha le sue origini nella teoria d'omologia di gruppi astratti che fu coinvolta nello studio di certi spazi [...] la coomologia è diventata importante strumento d'indagine), in teoriadellecategorie e in K-teoria. Infine sono stati recentemente compilati programmi per il calcolatore rivolti al computo della coomologia di alcuni gruppi di termini si sequenze ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] (The category of categories as a foundation for mathematics, Proceedings conference categorical algebra, 1966).
Nella teoriadellecategorie (v. categorie, teoriadelle, in questa App.), i concetti centrali sono quelli di "oggetto" e di "morfismo", e ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] quella che oggi è chiamata la K-teoria algebrica di ordine alto, generalizzazione dellateoria di Grothendieck agli anelli commutativi, introducendo idee e concetti della topologia nella teoriadellecategorie. Con tale tecnica egli risolverà molti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] corpo. Ciononostante, alcuni manoscritti quasi terminati resteranno nel cassetto: per esempio, un lavoro annunciato sulla teoriadellecategorie.
L'intera opera si intitolerà Eléments de mathématique. Il termine Eléments si intende riferito a Euclide ...
Leggi Tutto
categorico
categòrico agg. [dal lat. tardo categorĭcus, gr. κατηγορικός] (pl. m. -ci). – 1. Di categoria, relativo a categorie nel sign. filosofico; il termine, che in Aristotele significava semplicem. «affermativo», ha assunto nella filosofia...
categoria
categorìa s. f. [dal gr. κατηγορία «imputazione, predicato, attributo», der. di κατηγορέω «accusare, affermare, asserire»; lat. tardo categorĭa]. – 1. In generale, il predicato di una proposizione, l’attributo di un soggetto. a....