Skip to main content

Universal completions of concrete categories

  • Conference paper
  • First Online:
  • 797 Accesses

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 915))

Abstract

For every concerete category (A,U) over a complete base category X, Ch. Ehresmann has constructed a concrete completion. The objects of his completion are obtained by a transfinite process. J Adámek and V. Koubek have been able to obtain the objects of such a completion in one step, but still need a transfinite process to obtain the morphisms. In this paper a one-step-construction for such a completion is provided. The latter two completions are characterized by the obvious universal property, hence equivalent. The first completion is different.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   46.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Adémek, H. Herrlich, G.E. Strecker, Least and largest initial competions. Comment. Math. Univ. Carolinae 20(1979), 43–77.

    Google Scholar 

  2. J. Adámek, V. Koubek, Completions of concrete categories. Preprint.

    Google Scholar 

  3. J. Adámek, V. Koubek, Cartesian closed concrete categories. Preprint.

    Google Scholar 

  4. Ch. Ehresmann, Prolongments universels d'un functeur par adjunction de limites. Dissertationes Math. 64 (1969).

    Google Scholar 

  5. H. Herrlich, Initial and final completions (Proc. Int. Conf. Cat. Top. Berlin 1978), Lecture Notes Math. 719 (1979) 137–149.

    Article  MathSciNet  Google Scholar 

  6. H. Herrlich, G.E. Strecker, Category Theory, 2 ed. Heldermann Verlag Berlin 1979.

    MATH  Google Scholar 

  7. J.R. Isbell, Small subcategories and completeness. Math. Syst. Theory 2 (1968), 27–50.

    Article  MATH  MathSciNet  Google Scholar 

  8. J. Lambek, Completions of categories, Lecture Notes Math. 24 (1966)

    Google Scholar 

  9. V. Trnková, Limits in categories and limit-preserving functors. Comment. Math. Univ. Carolinae 7 (1966) 1–73. *** DIRECT SUPPORT *** A00J4389 00005

    MATH  MathSciNet  Google Scholar 

Download references

Authors

Editor information

B. Banaschewski

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag

About this paper

Cite this paper

Herrlich, H. (1982). Universal completions of concrete categories. In: Banaschewski, B. (eds) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol 915. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0092876

Download citation

  • DOI: https://doi.org/10.1007/BFb0092876

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11211-2

  • Online ISBN: 978-3-540-39041-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics