We describe a construction in type theory which allows one to write the localization at a family of maps between omega-compact types as a sequential colimit of graph quotients. Among many other examples, the n-truncations can be obtained this way, and therefore n-truncation is a definable operation in univalent type theory with graph quotients.