Approximation in quantale-enriched categories
نویسندگان
چکیده
منابع مشابه
Approximation in quantale-enriched categories
Our work is a foundational study of the notion of approximation inQ-categories and in (U,Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of Qand (U,Q)-categories. We fully characterize continuous Q-categories (resp. (U,Q)-categories) among all cocomplete Q-categories (...
متن کاملConvergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملRestriction categories as enriched categories
Article history: Received 27 November 2012 Received in revised form 4 September 2013 Accepted 20 December 2013 Communicated by B.P.F. Jacobs
متن کاملEnriched Indexed Categories
We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V . This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases. We then describe the appropriate notion of “limit” for such enriched indexed categories, and show that th...
متن کاملStrictification of Categories Weakly Enriched in Symmetric Monoidal Categories
We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a ”many 0-cells” version of the strictification of bimonoidal categories to strict ones.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2011
ISSN: 0166-8641
DOI: 10.1016/j.topol.2011.02.003