Topological functors as total categories

zbMATH Open1305.18005arXiv1310.0903MaRDI QIDQ2877682FDOQ2877682

Authors: Richard Garner 

Publication date: 25 August 2014

Published in: Theory and Applications of Categories (Search for Journal in Brave)

Abstract: A notion of central importance in categorical topology is that of topological functor. A faithful functor E -> B is called topological if it admits cartesian liftings of all (possibly large) families of arrows; the basic example is the forgetful functor Top -> Set. A topological functor E -> 1 is the same thing as a (large) complete preorder, and the general topological functor E -> B is intuitively thought of as a complete preorder relative to B. We make this intuition precise by considering an enrichment base Q_B such that Q_B-enriched categories are faithful functors into B, and show that, in this context, a faithful functor is topological if and only if it is total (=totally cocomplete) in the sense of Street--Walters. We also consider the MacNeille completion of a faithful functor to a topological one, first described by Herrlich, and show that it may be obtained as an instance of Isbell's generalised notion of MacNeille completion for enriched categories.

Full work available at URL: https://arxiv.org/abs/1310.0903

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Topological categories, quantaloids and Isbell adjunctions
• scientific article; zbMATH DE number 3953031
• scientific article; zbMATH DE number 510315
• On the MacNeille Completion of the Category of Partially Ordered Topological Spaces
• Density in categorical topology via quantaloid-enriched categories

zbMATH Keywords

enriched categoriesquantaloidstotal categoriestopological functors

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Enriched categories (over closed or monoidal categories) (18D20) Special properties of functors (faithful, full, etc.) (18A22)

Cited In (10)

• Completeness and injectivity
• Density in categorical topology via quantaloid-enriched categories
• Equivalent notions of topological category
• On topological and categorical properties of the functors \(M_{\tau}\) and \(M_{R}\)
• Final lift actions associated with topological functors
• Met-like categories amongst concrete topological categories
• Topological categories, quantaloids and Isbell adjunctions
• A short characterization of relative entropy
• Geometrical properties of the space of idempotent probability measures
• Title not available (Why is that?)

This page was built for publication: Topological functors as total categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2877682)