Closed Freyd- and κ-Categories (1999)

by John Power, Hayo Thielecke