General arrow constructions (1999)

by Ross Paterson