在差一个同构态射的意义下是惟一的。
例子.这里有一些类似范畴中推出的例子。注意每种情形，我们只构造推出同构类中的一个对象；如上所述，可能有其它构造方法，但是它们都是等价的。1.假设 "X" 和 "Y" 是集合。如果我们记它们的交为 "Z"，则由包含给出态射 "f" : "Z" → "X" 与 "g" : "Z" → "Y" 。"f" 与 "g" 的推出是 "X" 与 "Y" 的并集附加从"X" 和 "Y"的包含态射。2.黏着空间的构造是拓扑空间范畴中的推出。更准确地说，如果