Vag Vagoff wrote: > It is more convenient to define category without mentioning objects: I find the version with objects ``more typed''. I feel absolutely no need to be able to write down undefined compositions. Wolfram