Complete and directed complete \(\Omega \)-categories (Q2464932): Difference between revisions

Let \(\Omega \) be a complete lattice and \((\Omega ,*)\) a commutative quantale. A category enriched over \(\Omega \), or an \(\Omega\)-category, is a set \(A\) together with an assignment of an element \(A(a,b)\in \Omega \) to every ordered pair of \((a,b)\in A\times A\) such that : (1) \(I\leq A(a,a)\) for every \(a\in A\) (where \(I\) has the property that \(p*I=p,\) for every \( p\in \Omega \)); (2) \(A(a,b)*A(b,c)\leq A(a,c)\) for all \(a,b,c\in A.\) This paper, based on the theory of \(\Phi\)-completeness for enriched categories, presents a systematic investigation of completeness and directed completeness of \(\Omega\)-categories.