Uniqueness of enhancement for triangulated categories | Synapse