[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

categories: Compact Categories

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