Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Scaricare
l'accesso più veloce di browser!
 

Teoria delle categorie

Indice Teoria delle categorie

La teoria delle categorie è una teoria matematica che studia in modo astratto le strutture matematiche e le relazioni tra esse.

38 relazioni: Associatività, Automorfismo, Categoria abeliana, Categoria monoidale, Classe (matematica), Diagramma commutativo, Endomorfismo, Fisica matematica, Francis William Lawvere, Funtore, Funzione (matematica), Funzione continua, Funzione differenziabile, Funzione identità, Funzione misurabile, Gruppo (matematica), Gruppoide (teoria delle categorie), Gzip, Informatica teorica, Insieme, Isomorfismo, John Wiley & Sons, Magma (matematica), Matematica, Monoide, Morfismo, Omomorfismo, PostScript, Samuel Eilenberg, Saunders Mac Lane, Spazio misurabile, Spazio topologico, Spazio vettoriale, Teoria del tutto, Topologia algebrica, Trasformazione lineare, Varietà differenziabile, 1945.

Associatività

In matematica, l'associatività (o proprietà associativa) è una proprietà che può avere un'operazione binaria.

Nuovo!!: Teoria delle categorie e Associatività · Mostra di più »

Automorfismo

In matematica, un automorfismo è un isomorfismo di un oggetto matematico in se stesso.

Nuovo!!: Teoria delle categorie e Automorfismo · Mostra di più »

Categoria abeliana

In matematica, una categoria abeliana è una categoria in cui oggetti e morfismi possono essere sommati, e in cui esistono nuclei e conuclei, i quali soddisfano alcune proprietà desiderate.

Nuovo!!: Teoria delle categorie e Categoria abeliana · Mostra di più »

Categoria monoidale

In matematica, una categoria monoidale, o categoria tensoriale, è una categoria \mathcal munita di un bifuntore che è associativo a meno di isomorfismi naturali, e un oggetto I che è elemento neutro sia a destra sia a sinistra per \otimes a meno di isomorfismi naturali.

Nuovo!!: Teoria delle categorie e Categoria monoidale · Mostra di più »

Classe (matematica)

Nella moderna teoria degli insiemi, per classe si intende una generica collezione di oggetti che possono essere univocamente identificati (per esempio, tramite una proprietà che li accomuni).

Nuovo!!: Teoria delle categorie e Classe (matematica) · Mostra di più »

Diagramma commutativo

In matematica, un diagramma commutativo è un diagramma comprendente vari oggetti e morfismi tra essi tale che, per ogni coppia di oggetti, ogni percorso che li collega produce la stessa applicazione finale (in termini di composizione di funzioni).

Nuovo!!: Teoria delle categorie e Diagramma commutativo · Mostra di più »

Endomorfismo

In matematica, un endomorfismo di una struttura algebrica è una funzione dall'insieme sostegno della struttura in sé, che preservi le operazioni.

Nuovo!!: Teoria delle categorie e Endomorfismo · Mostra di più »

Fisica matematica

La fisica matematica è quella disciplina scientifica che si occupa delle "applicazioni della matematica ai problemi della fisica e dello sviluppo di metodi matematici adatti alla formulazione di teorie fisiche e alle relative applicazioni".

Nuovo!!: Teoria delle categorie e Fisica matematica · Mostra di più »

Francis William Lawvere

Ha ottenuto il Ph.D. in matematica nel 1963 presso la Columbia University e insegna all'Università di Buffalo, nello stato di New York.

Nuovo!!: Teoria delle categorie e Francis William Lawvere · Mostra di più »

Funtore

* Funtore – in matematica, concetto legato alla teoria delle categorie.

Nuovo!!: Teoria delle categorie e Funtore · Mostra di più »

Funzione (matematica)

In matematica, una funzione è una relazione tra due insiemi, chiamati dominio e codominio della funzione, che associa a ogni elemento del dominio uno e un solo elemento del codominio.

Nuovo!!: Teoria delle categorie e Funzione (matematica) · Mostra di più »

Funzione continua

In matematica, una funzione continua è una funzione che, intuitivamente, fa corrispondere ad elementi sufficientemente vicini del dominio elementi arbitrariamente vicini del codominio.

Nuovo!!: Teoria delle categorie e Funzione continua · Mostra di più »

Funzione differenziabile

In matematica, in particolare in analisi matematica e geometria differenziale, una funzione differenziabile in un punto è una funzione che può essere approssimata a meno di un resto infinitesimo da una trasformazione lineare in un intorno abbastanza piccolo di quel punto.

Nuovo!!: Teoria delle categorie e Funzione differenziabile · Mostra di più »

Funzione identità

In matematica si chiama funzione identità su un insieme X la funzione che associa ad ogni elemento l'elemento stesso.

Nuovo!!: Teoria delle categorie e Funzione identità · Mostra di più »

Funzione misurabile

In analisi matematica, una funzione misurabile è una funzione tra due spazi misurabili compatibile con la loro struttura di σ-algebra.

Nuovo!!: Teoria delle categorie e Funzione misurabile · Mostra di più »

Gruppo (matematica)

In matematica un gruppo è una struttura algebrica formata dall'abbinamento di un insieme non vuoto con un'operazione binaria interna (come ad esempio la somma o il prodotto), che soddisfa gli assiomi dell'associatività e dell'esistenza dell'elemento neutro e inverso.

Nuovo!!: Teoria delle categorie e Gruppo (matematica) · Mostra di più »

Gruppoide (teoria delle categorie)

In matematica, un gruppoide è una struttura algebrica usata per generalizzare gruppi e azioni di gruppo.

Nuovo!!: Teoria delle categorie e Gruppoide (teoria delle categorie) · Mostra di più »

Gzip

gzip è un software libero per la compressione dei dati.

Nuovo!!: Teoria delle categorie e Gzip · Mostra di più »

Informatica teorica

L'informatica teorica è una branca dell'informatica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.

Nuovo!!: Teoria delle categorie e Informatica teorica · Mostra di più »

Insieme

In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.

Nuovo!!: Teoria delle categorie e Insieme · Mostra di più »

Isomorfismo

In matematica, in particolare in algebra astratta, un isomorfismo (dal greco ἴσος, isos, che significa uguale, e μορφή, morphé, che significa forma) è un'applicazione biunivoca fra oggetti matematici tale che l'applicazione e la sua inversa siano omomorfismi.

Nuovo!!: Teoria delle categorie e Isomorfismo · Mostra di più »

John Wiley & Sons

John Wiley & Sons, Inc. è una casa editrice statunitense specializzata in testi di riferimento.

Nuovo!!: Teoria delle categorie e John Wiley & Sons · Mostra di più »

Magma (matematica)

Un magma (o gruppoide) è un insieme M in cui è definita una singola operazione binaria *, che ad ogni coppia di elementi a, b di M associa l'elemento a*b.

Nuovo!!: Teoria delle categorie e Magma (matematica) · Mostra di più »

Matematica

La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.

Nuovo!!: Teoria delle categorie e Matematica · Mostra di più »

Monoide

Nell'algebra astratta, una branca della matematica, un monoide è una struttura algebrica dotata dell'operazione binaria associativa e di un elemento neutro.

Nuovo!!: Teoria delle categorie e Monoide · Mostra di più »

Morfismo

In matematica per morfismo si intende in generale una astrazione di un processo che trasforma una struttura astratta in un'altra mantenendo alcune caratteristiche "strutturali" della prima.

Nuovo!!: Teoria delle categorie e Morfismo · Mostra di più »

Omomorfismo

In algebra astratta, un omomorfismo è un'applicazione tra due strutture algebriche dello stesso tipo che conserva le operazioni in esse definite.

Nuovo!!: Teoria delle categorie e Omomorfismo · Mostra di più »

PostScript

PostScript è un linguaggio di descrizione di pagina interpretato particolarmente adatto alla descrizione di pagine ed immagini, sviluppato da Adobe Systems ed inizialmente usato come linguaggio per il controllo delle stampanti.

Nuovo!!: Teoria delle categorie e PostScript · Mostra di più »

Samuel Eilenberg

Eilenberg ottenne un dottorato di ricerca dall'Università di Varsavia nel 1936 con una dissertazione preparata sotto la supervisione di Karol Borsuk.

Nuovo!!: Teoria delle categorie e Samuel Eilenberg · Mostra di più »

Saunders Mac Lane

Insieme a Samuel Eilenberg, ha fondato la teoria delle categorie, e si è distinto per i suoi contributi all'algebra astratta (in particolare l'algebra omologica) ed al suo insegnamento; viene da molti considerato uno dei più influenti matematici statunitensi del XX secolo.

Nuovo!!: Teoria delle categorie e Saunders Mac Lane · Mostra di più »

Spazio misurabile

In matematica, uno spazio misurabile è una struttura astratta alla base di molte idee e nozioni dell'analisi, in particolare in teoria della misura, come quelle di funzione misurabile, insieme misurabile, misura, integrale, sistema dinamico.

Nuovo!!: Teoria delle categorie e Spazio misurabile · Mostra di più »

Spazio topologico

In matematica, lo spazio topologico è l'oggetto base della topologia.

Nuovo!!: Teoria delle categorie e Spazio topologico · Mostra di più »

Spazio vettoriale

In matematica, uno spazio vettoriale, anche detto spazio lineare, è una struttura algebrica composta da.

Nuovo!!: Teoria delle categorie e Spazio vettoriale · Mostra di più »

Teoria del tutto

La teoria del tutto, conosciuta anche come TOE (acronimo dell'inglese theory of everything), è una ipotetica teoria fisica che sarebbe in grado di spiegare interamente e di riunire in un unico quadro tutti i fenomeni fisici conosciuti.

Nuovo!!: Teoria delle categorie e Teoria del tutto · Mostra di più »

Topologia algebrica

La topologia algebrica è una branca della matematica che applica gli strumenti dell'algebra astratta per studiare gli spazi topologici.

Nuovo!!: Teoria delle categorie e Topologia algebrica · Mostra di più »

Trasformazione lineare

In matematica, più precisamente in algebra lineare, una trasformazione lineare, detta anche applicazione lineare o mappa lineare, è una funzione lineare tra due spazi vettoriali sullo stesso campo, cioè una funzione che conserva le operazioni di somma di vettori e di moltiplicazione per uno scalare.

Nuovo!!: Teoria delle categorie e Trasformazione lineare · Mostra di più »

Varietà differenziabile

In matematica, e in particolare in geometria differenziale, la nozione di varietà differenziabile è una generalizzazione del concetto di curva e di superficie differenziabile in dimensione arbitraria.

Nuovo!!: Teoria delle categorie e Varietà differenziabile · Mostra di più »

1945

Nessuna descrizione.

Nuovo!!: Teoria delle categorie e 1945 · Mostra di più »

Riorienta qui:

Categoria (matematica), Teoria delle categorie (matematica).

UscenteArrivo
Ehi! Siamo su Facebook ora! »