déposer
version française rss feed
HAL : hal-00339331, version 1

Fiche détaillée  Récupérer au format
Free models of T-algebraic theories computed as Kan extensions
paul-andré melliès 1, Nicolas Tabareau 1
(2008)

One fundamental aspect of Lawvere's categorical semantics is that every algebraic theory (eg. of monoid, of Lie algebra) induces a free construction (eg. of free monoid, of free Lie algebra) computed as a Kan extension. Unfortunately, the principle fails when one shifts to linear variants of algebraic theories, like Adams and Mac Lane's PROPs, and similar PROs and PROBs. Here, we introduce the notion of T-algebraic theory for a pseudomonad T -- a mild generalization of equational doctrine -- in order to describe these various kinds of ``algebraic theories''. Then, we formulate two conditions (the first one combinatorial, the second one algebraic) which ensure that the free model of a T-algebraic theory exists and is computed as an Kan extension. The proof is based on Bénabou's theory of distributors, and of an axiomatization of the colimit computation in Wood's proarrow equipments.
1 :  Preuves, Programmes et Systèmes (PPS)
CNRS : UMR7126 – Université Paris VII - Paris Diderot
Mathématiques/Catégories et ensembles

Mathématiques/Algèbre commutative
Lawvere theories – PROs – PROPs – PROBs – operads – Kan extensions – distributors – enriched categories – free constructions – algebras – coalgebras
Liste des fichiers attachés à ce document : 
PDF
free-models.pdf(415.2 KB)

tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...