What is a categorical model of arrows (0)

by Robert Atkey
Venue:Electronic Notes on Theoretical Computer Science