I would like some recommended papers to read about compact categories. Preferably accesible over the web for ease of getting hold of. In particular, - From a computational point of view, what are the arguments for and against having such structure - Examples of categories which are compact - In Set, can we describe the relationship between initial algebras and final coalgebras Neil