scientific article; zbMATH DE number 2068083
This is partially a brief survey of known results in the study of ordered sets via adjunctions. For ungraduate students, much of the material in \textit{F. W. Lawvere} and \textit{R. Rosebrugh}'s book [Sets for mathematics. Cambridge: Cambridge Univ. Press (2003; Zbl 1031.18001) is a serious prerequisite for this chapter, which is organized as follows: In Section 1 the author provides some preliminaries that allow us to build ordered set theory from the bicategory of relations in \textbf{Set}. In fact he defines adjunctions therein, and shows that from these we can recover functions. In Section 2, ordered sets, the bicategory of ordered sets, and adjunctions therein are formally defined, and some important examples are provided. The adjunctions are put to work in Section 3 to describe semilattices, lattices and a few of their specializations. So as to discuss complete lattices in these terms in Section 5, Section 4 addresses power set Heyting algebras. Section 6 is a brief introduction to the author's own work on completely distributive lattices, developed jointly with a number of coauthors, most notably Rosebrugh. It is here that the approach to ordered sets via adjunction seems to add the greatest clarity to the subject to date. For the entire collection see [Zbl 1034.18001].
- Lawvere completeness in topology
- Enriched Stone-type dualities
- Quantalic topological theories
- Duality theory for enriched Priestley spaces
- The enriched Vietoris monad on representable spaces
- Metagories
- On a lax-algebraic characterization of closed maps
- On fuzzification of topological categories
- Topological theories and closed objects
- The rise and fall of \(V\)-functors
- Quantale-valued topological spaces via closure and convergence
- Sets and ordered structures
- scientific article; zbMATH DE number 3845639 (Why is no real title available?)
- scientific article; zbMATH DE number 3902716 (Why is no real title available?)
- scientific article; zbMATH DE number 1330540 (Why is no real title available?)
- scientific article; zbMATH DE number 558658 (Why is no real title available?)
- Adjoint functors, projectivization, and differentiation algorithms for representations of partially ordered sets.
- Convergence and quantale-enriched categories
- On nominal sets with support-preorder
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain
- Completely distributive enriched categories are not always continuous
- Injective spaces via adjunction
- Effective descent morphisms of ordered families
- On the structure of modal and tense operators on a Boolean algebra
- Cauchy convergence in \(\mathcal{V}\)-normed categories
- A Kleisli-based approach to lax algebras
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- On the categorical meaning of Hausdorff and Gromov distances. I.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4464692)
