Closedness Properties of Internal Relations Ii : Bourn Localization


We say that a class D of categories is the Bourn localization of a class C of categories, and we write D = Loc(C), if D is the class of all (finitely complete) categories D such that for each object A in D, Pt(D ↓ A) ∈ C, where Pt(D ↓ A) denotes the category of all pointed objects in the comma-category (D ↓ A). As D.Bourn showed, if we take D to be the… (More)


  • Presentations referencing similar topics