activity
20052023
most citedFinite Products are Biproducts in a Compact Closed Category

45 citations · 82 across the 7 of their papers we have counts for

collaborators
Showing math.CTShow all

2 papers · 1 filter

math.CT2006★ 45 cited

Finite Products are Biproducts in a Compact Closed Category

Robin Houston

If a compact closed category has finite products or finite coproducts then it in fact has finite biproducts, and so is semi-additive.

math.CT2005★ 9 cited

Modelling Linear Logic Without Units (Preliminary Results)

Robin Houston, Dominic Hughes, Andrea Schalk

We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent…