Categoria monoidale

In matematica, una categoria monoidale, o categoria tensoriale, è una categoria munita di un bifuntore

che è associativo a meno di isomorfismi naturali, e un oggetto che è elemento neutro sia a destra sia a sinistra per a meno di isomorfismi naturali. L'isomorfismo naturale associato è soggetto a certe condizioni che garantiscono che tutti i diagrammi rilevanti siano commutativi. In una categoria monoidale, gli analoghi degli usuali monoidi dell'algebra astratta possono essere definiti usando tali diagrammi commutativi. Infatti i monoidi classici sono esattamente gli oggetti monoide nella categoria monoidale degli insiemi con il prodotto cartesiano come prodotto monoidale.

Uno spazio vettoriale, un gruppo abeliano, un -modulo, o una -algebra con l'ordinario prodotto tensoriale sono una categoria monoidale. Le categorie monoidali possono essere viste come una generalizzazione di questi esempi.

Nella teoria delle categorie, le categorie monoidali possono essere usate per definire il concetto di un oggetto monoidale e un'azione a lui associata su altri oggetti della stessa categoria. Sono inoltre usate nella definizione di una categoria arricchita.

Le categorie monoidali hanno numerose applicazioni al di fuori della stessa teoria di categorie. Sono anche usate per definire dei modelli per il frammento multiplicativo della logica lineare intuizionista. Formano anche la base matematica per l'ordine topologico nella materia condensata. Le categorie monoidali intrecciate hanno applicazione nella teoria quantistica dei campi e nella teoria delle stringhe.

Definizione formale modifica

Una categoria monoidale è una categoria   con

  • un funtore controvariante   chiamato il prodotto tensoriale o prodotto monoidale,
  • un oggetto   chiamato oggetto unità o oggetto identità,
  • tre trasformazioni naturali soggette a certe condizioni di coerenza che esprimono il fatto che il l'operazione tensoriale
    • è associativa: c'è un isomorfismo naturale  , chiamato associatore, indicato con  ,
    • ha   come identità sinistra e destra: ci sono due isomofismi naturali   e  , respettivamente chiamati riunificante destro e sinistro, con le componenti   e  .

Le condizioni che queste trasformazioni naturali devono rispettare sono:

  • per ogni  ,  ,   e   in  , il seguente diagramma commuta:
 

commuta;

  • per ogni   e   in  , il seguente diagramma commuta:
 

Segue da queste tre condizioni che una grande classe di diagrammi di questo tipo (cioè i diagrammi costruiti usando identità e prodotti tensoriali  ,   e  ) commuta: questo è il "teorema di coerenza" di Mac Lane. Talvolta è affermato in modo impreciso che tutti i diagrammi commutano.

Una categoria strettamente monoidale è una categoria per la quale sono identità gli isomorfismi naturali  ,   e  . Ogni categoria monoidale è equivalente monoidalmente a una categoria strettamente monoidale.

Esempi modifica

  • Una qualunque categoria con prodotti finiti può essere vista come categoria monoidale con il prodotto come prodotto monoidale e l'oggetto terminale come identità. Tale categoria è talvolta detta categoria monoidale cartesiana. Per esempio:
  • Una qualunque categoria con coprodotti finiti può essere vista come categoria monoidale con il prodotto come prodotto monoidale e l'oggetto iniziale come identità. Tale categoria è talvolta detta categoria monoidale cocartesiana.
  •  - , la categoria dei moduli su un anello commutativo   è una categoria monoidale con il prodotto tensoriale di moduli e l'anello  , visto come  -modulo, come unità. Come casi particolari si hanno:
  • Per ogni anello commutativo   la categoria delle  -algebre è monoidale con il prodotto tensoriale di algebre e  , vista come  -algebra, l'identità.
  • La categoria degli spazi puntati è monoidale con il prodotto smash e la 0-sfera (uno spazio discreto di due punti) come unità.
  • La categoria di tutti gli endofuntori su una categoria   è una categoria strettamente monoidale con la composizione di funtori come prodotto monoidale e il funtore identità come unità.
  • Come per ogni categoria la sottocategoria completa generata da un qualunque oggetto è un monoide. Nel caso di una 2-categoria   con un oggetto  , la 2-sottocategoria completa di   generata da   è una categoria monoidale. Nel caso   si ottiene l'esempio precedente degli endofuntori.
  • Un semireticolo con massimo minorante e superiormente limitato è una categoria monoidale simmetrica, il prodotto monoidale è l'operazione incontro del reticolo e l'elemento massimo è l'unità.

Categorie strettamente monoidali libere modifica

Per ogni categoria  , la categoria strettamente monoidlae libera   può essere costruita nel seguente modo:

  • i suoi oggetti sono le successioni finite   di oggetti di  ;
  • ci sono morfismi tra due oggetti   e   solo se  , in questo caso i morfismi sono le successioni finite di morfismi   con  ;
  • il prodotto monoidale di due oggetti   e   è la concatenazione   e analogamente il prodotto di due morfismi è la concatenazione delle due successioni finite.

Collegamenti esterni modifica