Categoria monoidale

Da Wikipedia, l'enciclopedia libera.

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 posso 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 posso essere viste come una generalizzazione di questi esempi.

Nella teoria delle categorie, le categorie monoidali posso 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 | modifica wikitesto]

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:
Monoidal-category-pentagon.png

commuta;

  • per ogni e in , il seguente diagramma commuta:
Monoidal-category-triangle.png

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 | modifica wikitesto]

  • 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 | modifica wikitesto]

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.