—матем. особый тип отображений между категориями, сохраняющих структуру Доказывается естественная эквивалентность функтора топологической локализации и функтора, который каждому топологическому модулю ставит в соответствие модуль, бидуальный к исходному относительно модуля К.