the holotype is in the university of alberta collection i think marriage is an error of youth as with any universal property the coproduct can be understood as a universal morphism he was a fellow of the royal society of edinburgh