The algebra of distributive and extensive categories (1995)

by S G Lack