Int construction [mde-OAGR]

The Int construction gives the free compact closed category on a traced category.

Int(N,+) is the integers