Showing changes from revision #6 to #7:
Added | Removed | Changed
Localization is the process of inverting a specified class of maps.
Consider a family of maps. We say that a type is -local if the function
is an equivalence . for all (a : A).
TODO: Localisation as a HIT?
Last revised on January 19, 2019 at 13:30:40. See the history of this page for a list of all contributions to it.