The change-base issue for \(\Omega\)-categories (Q943065): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Dumitru Buşneag / rank | |||
Property / reviewed by | |||
Property / reviewed by: Dumitru Buşneag / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q58331932 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11401-007-0401-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1981565079 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4314472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586461 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous Lattices and Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangular norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric spaces, generalized logic, and closed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the minimum monochromatic or multicolored subgraph partition problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3336431 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4680353 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3411948 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Liminf convergence in \(\Omega\)-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many valued lattices and their representations / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:29, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The change-base issue for \(\Omega\)-categories |
scientific article |
Statements
The change-base issue for \(\Omega\)-categories (English)
0 references
8 September 2008
0 references
If \((\Omega ,*,I)\) is a commutative and unital quantale (that is, the unit element \(I\) of \(\Omega \) coincides with the top element in \(\Omega \)), an \( \Omega\)-category is a set \(A\) together with an assignment of an element \( A(a,b)\in \Omega \) to every ordered pair \((a,b)\in A\times A\) such that \( I\leq A(a,a)\) for every \(a\in A\) and \(A(a,b)*A(b,c)\leq A(a,c)\) for all \( a,b,c\in A.\) An \(\Omega\)-functor between \(\Omega\)-categories \(A\) and \(B\) is a function \(f:A\rightarrow B\) such that \(A(a,b)\leq B(f(a),f(b)),\) for all \(a,b\in A.\) If \(G:(\Omega ,*,I)\rightarrow (\Omega ^{\prime },*^{\prime },I^{\prime })\) is a closed unital map between commutative, unital quantales, then \(G\) induces a canonical functor \(\overline{G}:\Omega \)-\({\mathcal C}at\rightarrow \Omega ^{\prime }\)-\({\mathcal C}at\). This paper is concerned with some basic questions about \( \overline{G}:\) when does \(\overline{G}\) have a left adjoint which is also of this form; when \(\overline{G}\) is an equivalence of categories and when does \(\overline{G}\) preserve completeness? The main results are: (1) when \(\Omega\), \(\Omega ^{\prime }\) are integral, \( G:\Omega \rightarrow \Omega ^{\prime }\) and \(F:\Omega ^{\prime }\rightarrow \Omega \) are closed unital maps, then \(\overline{F}\) is a left adjoint of \( \overline{G}\) if and only if \(F\) is a left adjoint of \(G;\) (2) \(\overline{G}\) is an equivalence of categories if and only if \(G\) is an isomorphism in the category of commutative unital quantales and closed unital maps; and (3) a sufficient condition is obtained for \(\overline{G}\) to preserve completeness in the sense that \(\overline{G}A\) is a complete \(\Omega ^{\prime }\)-category whenever \(A\) is a complete \(\Omega \)-category.
0 references
commutative unital quantale
0 references
closed unital map
0 references
enriched category
0 references
change-base
0 references
0 references