Explaining Gabriel–Zisman Localization to the Computer