Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗ - Free algebra - Document - PDFSEARCH.IO

First Page	Meta Content
	Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗ Add to Reading List Document Date: 2008-11-17 11:04:51 Open Document File Size: 415,17 KB Share Result on Facebook City Paris / / Country France / / / Event Person Travel / / IndustryTerm composition law / tensor product / finite product / categorical product / computing / finite products / / Organization Ku Klux Klan / / Person Nicolas Tabareau / Lanj Uj / Paul-André Melliès / Lawvere / / / Position Model / General / / ProvinceOrState Kan / / RadioStation 2008 When / / Technology LAN / / SocialTag Abstract algebra Monoid Functor PRO Adjoint functors Enriched category Cartesian closed category Algebraic structure Monad Category theory

Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗Add to Reading List