nLab
essentially unique

Contents

Definition

An object in a category with a given property is essentially unique with this property if it is isomorphic to any other object with that property.

Examples

An object that is the limit or colimit over a given diagram is essentially unique. There is a unique isomorphism to any other limiting (colimit) object.

Created on October 15, 2010 at 07:07:21. See the history of this page for a list of all contributions to it.