Use this identifier to quote or link this document: http://hdl.handle.net/2072/15534
| dc.contributor | Centre de Recerca Matemàtica |
|---|---|
| dc.contributor.author | Kock, Joachim |
| dc.date.accessioned | 2009-04-23T08:07:49Z |
| dc.date.available | 2009-04-23T08:07:49Z |
| dc.date.created | 2008-08 |
| dc.date.issued | 2008-08 |
| dc.identifier.uri | http://hdl.handle.net/2072/15534 |
| dc.description.abstract | We explore the relationship between polynomial functors and trees. In the first part we characterise trees as certain polynomial functors and obtain a completely formal but at the same time conceptual and explicit construction of two categories of rooted trees, whose main properties we describe in terms of some factorisation systems. The second category is the category Ω of Moerdijk and Weiss. Although the constructions are motivated and explained in terms of polynomial functors, they all amount to elementary manipulations with finite sets. Included in Part 1 is also an explicit construction of the free monad on a polynomial endofunctor, given in terms of trees. In the second part we describe polynomial endofunctors and monads as structures built from trees, characterising the images of several nerve functors from polynomial endofunctors and monads into presheaves on categories of trees. Polynomial endofunctors and monads over a base are characterised by a sheaf condition on categories of decorated trees. In the absolute case, one further condition is needed, a projectivity condition, which serves also to characterise polynomial endofunctors and monads among (coloured) collections and operads. |
| dc.format.extent | 55 |
| dc.format.extent | 454134 bytes |
| dc.format.mimetype | application/pdf |
| dc.language.iso | eng |
| dc.publisher | Centre de Recerca Matemàtica |
| dc.relation.ispartofseries | Prepublicacions del Centre de Recerca Matemàtica;825 |
| dc.rights | Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i el centre i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús (http://creativecommons.org/licenses/by-nc-nd/2.5/es/) |
| dc.subject.other | Categories (Matemàtica) |
| dc.title | Polynomial functors and trees |
| dc.type | info:eu-repo/semantics/preprint |
Full text files in this document
| Files | Size | Format |
|---|---|---|
| Pr825.pdf | 454.1 KB |
Related documents
Other documents of the same author
Gambino, Nicola; Kock, Joachim
Gálvez Carrillo, Maria Immaculada; Tonks, Andrew; Kock, Joachim
Gálvez Carrillo, Maria Immaculada; Kock, Joachim; Tonks, Andrew
Gálvez Carrillo, Maria Immaculada; Kock, Joachim; Tonks, Andrew
Gálvez Carrillo, Maria Immaculada; Kock, Joachim; Tonks, Andrew