Continuous Categories Revisited
نویسنده
چکیده
Generalizing the fact that Scott’s continuous lattices form the equational hull of the class of all algebraic lattices, we describe an equational hull of LFP, the category of locally finitely presentable categories, over CAT. Up to a set-theoretical hypothesis this hull is formed by the category of all precontinuous categories, i.e., categories in which limits and filtered colimits distribute. This concept is closely related to the continuous categories of P.T. Johnstone and A. Joyal.
منابع مشابه
The function ring functors of pointfree topology revisited
This paper establishes two new connections between the familiar function ring functor ${mathfrak R}$ on the category ${bf CRFrm}$ of completely regular frames and the category {bf CR}${mathbf sigma}${bf Frm} of completely regular $sigma$-frames as well as their counterparts for the analogous functor ${mathfrak Z}$ on the category {bf ODFrm} of 0-dimensional frames, given by the integer-valued f...
متن کاملInformation systems revisited - the general continuous case
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new information systems are of the same logic-oriented style as the information systems first introduced by Scott in 1982: they consist of a set of tokens, a consistency predicate and an entailment relation satisfying a set...
متن کامل∗-autonomous categories, revisited
functionals as A and one the greatest such topology. We assume without further mention that in any extensional object (V, V ′) of Chuse , V ′ can be assumed to be a set of functionals. Also in any map (f, f ′): (V, V ′) −→ (W,W ′), f ′ = − ◦ f . Let A denote the space with the same underlying vector space as A and in which a linear subspace U ⊆ A is open when every functional on |A| that vanish...
متن کاملProsody Revisited FUNCTION, TIME , and the LISTENER in Intonational Phonology
A new look at intonational phonology introduces FUNCTION, TIME, and the LISTENER as essential theoretical categories of prosody with reference to a wide array of language data.
متن کاملTopological ∗-autonomous categories, revisited
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full subcategories of strong and weakly topologized objects and show that each is equivalent to the chu category of the original category with respect to the dualizing obj...
متن کامل