منابع مشابه
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
متن کاملA classification of accessible categories
For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a catego...
متن کاملFinal coalgebras in accessible categories
We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explicit construction of the final coalgebra in this case. On the other hand, there are interesting examples of final coalgebras beyond the realm of l.f.p...
متن کاملAccessible Categories and Homotopy Theory
Definition 1.1. A weak factorization system (L,R) in a category K consists of two classes L and R of morphisms of K such that (1) R = L , L = R and (2) any morphism h of K has a factorization h = gf with f ∈ L and g ∈ R. Definition 1.2. A model category is a complete and cocomplete category K together with three classes of morphisms F , C and W called fibrations, cofibrations and weak equivalen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1996
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700021900