The tag compactification was created a few days ago.
- This tag has been created and removed before. At the moment there are 4 questions with this tag.
- Somewhat related tag was discussed here: Would tags such as "ultrafilters" or "Stone-Cech compactification" be too specific? After that discussion the tag compactness was created.
- The tag-info for compactnesstag-info for compactness explicitly says that this tag includes questions about compactifications.
Do we need a separate tag (compactification)? I suggest creating a synonym compactification $\to$ compactness. (I.e., upvotes on this post mean that a separate tag for compactifications is not needed. Downvotes mean that (compactification) should stay as a separate tag.)