Lifting as a KZ-Doctrine

نویسنده

  • Marcelo P. Fiore
چکیده

Synopsis. In a cartesian closed category with an initial object and a dominance that classiies it, an intensional notion of approximation between maps |the path relation (c.f. link relation)| is deened. It is shown that if such a category admits strict/upper-closed factorisations then it preorder-enriches (as a cartesian closed category) with respect to the path relation. By imposing further axioms we can, on the one hand, endow maps and proofs of their approximations (viz. paths) with the 2-dimensional algebraic structure of a sesqui-category and, on the other, characterise lifting as a preorder-enriched lax colimit. As a consequence of the latter the lifting (or partial map classiier) monad becomes a KZ-doctrine.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

‘Hausdorff distance’ via conical cocompletion

In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine. The KZ-doctrines which arise as full sub-KZ-doctrines of the free cocompletion, are characterised by two simple “fully faithfulness” conditions. Conical weights form a saturated class, and th...

متن کامل

Doctrines Whose Structure Forms a Fully Faithful

We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd ⊣ m ⊣ dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defi...

متن کامل

Doctrines Whose Structure Forms a Fully Faithful Adjoint String

We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd m dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defined ...

متن کامل

Constructing Speciications and Modules in a Kz-doctrine

Using the structure of a KZ-monad we create a general categorical workspace in which diagrams can be formally constructed. In particular this abstract framework of category theory is shown to provide a precise semantics for constructing the speciications of complex systems from their component parts.

متن کامل

Constructing Specifications and Modules in a KZ-doctrine

Using the structure of a KZ-monad we create a general categorical workspace in which diagrams can be formally constructed. In particular this abstract framework of category theory is shown to provide a precise semantics for constructing the speciications of complex systems from their component parts.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995