Abstract
In this paper necessary and sufficient conditions are given on a concrete category over a category B so that it can be densely embedded (over B) into a geometric topological category E that admits certain universal final lifts. These conditions, as well as the class of universal final lifts, depend upon an a priori given full subcategory Δ of B. For example, E may have, depending upon Δ and B, universal coproducts or quotients or colimits. For appropriate Δ's, if B is cartesian closed then so is E.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 277-293 |
| Number of pages | 17 |
| Journal | Topology and its Applications |
| Volume | 19 |
| Issue number | 3 |
| DOIs | |
| State | Published - Jan 1 1985 |
Fingerprint
ASJC Scopus subject areas
- Geometry and Topology
Cite this
Geometric topological completions with universal final lifts. / Mielke, Marvin.
In: Topology and its Applications, Vol. 19, No. 3, 01.01.1985, p. 277-293.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Geometric topological completions with universal final lifts
AU - Mielke, Marvin
PY - 1985/1/1
Y1 - 1985/1/1
N2 - In this paper necessary and sufficient conditions are given on a concrete category over a category B so that it can be densely embedded (over B) into a geometric topological category E that admits certain universal final lifts. These conditions, as well as the class of universal final lifts, depend upon an a priori given full subcategory Δ of B. For example, E may have, depending upon Δ and B, universal coproducts or quotients or colimits. For appropriate Δ's, if B is cartesian closed then so is E.
AB - In this paper necessary and sufficient conditions are given on a concrete category over a category B so that it can be densely embedded (over B) into a geometric topological category E that admits certain universal final lifts. These conditions, as well as the class of universal final lifts, depend upon an a priori given full subcategory Δ of B. For example, E may have, depending upon Δ and B, universal coproducts or quotients or colimits. For appropriate Δ's, if B is cartesian closed then so is E.
UR - http://www.scopus.com/inward/record.url?scp=0000252330&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0000252330&partnerID=8YFLogxK
U2 - 10.1016/0166-8641(85)90007-0
DO - 10.1016/0166-8641(85)90007-0
M3 - Article
AN - SCOPUS:0000252330
VL - 19
SP - 277
EP - 293
JO - Topology and its Applications
JF - Topology and its Applications
SN - 0166-8641
IS - 3
ER -