Department of Mathematics and Statistics at the Faculty of Science
Robin Cockett, Department of Computer Science
Products and coproducts are the simplest sort of limit and colimit a category can have: so what does the category with just finite products and coproducts look like? The answer certainly surprised me: after all why should this have anything to do with communication?