Initial morphisms versus embeddings

DOI10.1023/B:APCS.0000040388.59577.88MaRDI QIDQ702202zbMATH OpenFDO

Authors H. Lamar Bentley, Eva Colebunders

Publication date 17 January 2005

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:APCS.0000040388.59577.88

bicoreflective closure operator embedding epireflective factorization structure initial morphism topological construct

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical methods in general topology (54B30) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Embedding (54C25)

Review text

In the context of topological categories various ``completions of objects \(X\) can be obtained naturally in 2 steps: First, an initial map \(f\colon X\rightarrow Y\) from \(X\) into a complete object \(Y\) is constructed. Next, by a slight modification, an embedding \(f^\ast\colon X\rightarrow Y^\ast\) into a complete space is obtained. The authors give a categorical analysis of the second step and expose it as a bicoreflection.

Recommendations

Cited in

(2)

This page was built for publication: Initial morphisms versus embeddings

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