Topological functors as total categories

MaRDI QIDQ2877682zbMATHFDO

Authors Richard Garner

Publication date 25 August 2014

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

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

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

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)

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.

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

Cited in

(10)

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

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)