From Categories Require Export KanExt.Global.
From Categories Require Export KanExt.Local.
From Categories Require Export KanExt.GlobaltoLocal.
From Categories Require Export KanExt.LocaltoGlobal.
From Categories Require Export KanExt.GlobalDuality.
From Categories Require Export KanExt.Pointwise.
From Categories Require Export KanExt.Preservation.
