I don't mean to derail here, but I would love to see an analysis of the tonk operator as a terminal object in an additive category. It seems like it's function is a lot like the zero vector space or the trivial group in a category with exact sequences. Idk. -- Sent from: http://friam.471366.n2.nabble.com/