Higher categories from type theories.

Lumsdaine, Peter LeFanu

Editore: ProQuest, UMI Dissertation Pub, 2011
ISBN 10: 1243493747 / ISBN 13: 9781243493743
Usato / Quantità: 0
Copie del libro da altre librerie
Mostra tutte le  copie di questo libro

Libro

Purtroppo questo libro non è più disponibile. Per trovare copie simili ti preghiamo di inserire i parametri di ricerca nella maschera qui in basso.

Descrizione:

Gently used. Expect delivery in 20 days. Codice inventario libreria

Su questo libro:

Riassunto: This thesis continues the programme of providing a higher-categorical analysis of the treatment of equality in Martin-Lof dependent type theory.

In particular, we construct for various type theories a classifying weak o-category, with objects and 1-cells as in the standard classifying category, and higher cells being open terms of identity types between these. Weak o-category structures (in the sense of Batanin/Leinster) on these are given by operads of syntactically definable composition laws.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Higher categories from type theories.
Casa editrice: ProQuest, UMI Dissertation Pub
Data di pubblicazione: 2011
Condizione libro: very good

AbeBooks è una piattaforma online di libri nuovi, antichi, usati e fuori catalogo attiva dal 1996. Ti mettiamo in contatto con migliaia di librerie di fiducia sparse in tutto il mondo, che offrono milioni di libri. L'acquisto sui nostri siti è semplice e sicuro al 100% - cerca il tuo libro, comprane una copia attraverso il processo di acquisto protetto e la libreria ti invierà il libro direttamente.

Cerca tra milioni di libri proposti da migliaia di librerie

Libri antichi

Libri antichi

Opere antiche e rare, prime edizioni, i libri più costosi venduti su AbeBooks e altri contenuti dedicati ai bibliofili d'eccezione.

Libri antichi

Libri usati

Libri usati

Acquista subito i libri di seconda mano. Tutte le opere che avresti sempre voluto leggere a tua disposizione a un prezzo speciale!

Libri usati

Libri con spedizione gratuita

Libri con spedizione gratuita

Libri nuovi, usati, italiani e stranieri che stavi cercando, in spedizione gratuita e senza spesa minima!

Libri spedizione gratuita

Scopri anche: