Skip to main content
Log in

The Category of Directed Systems in a Category

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

We present two related categorical constructions. Given a category C, we construct a category C[d], the category of directed systems in C. C embeds into C[d], and if C has enough colimits, then C is monadic over C[d]. Also, if E,M is a factorization structure for C, then C[d] has a related factorization structure Ed Md such that if E consists entirely of monic arrows, then so does Ed and the Ed-quotient poset of an object A is naturally the poset of directed downsets of the E-quotient poset of A. Similarly, if M consists entirely of monicarrows, then so does Md and the Md-subobject poset of an object A is naturally the poset of directed downsets of the M-subobject poset. C[d] has completeness and cocompleteness properties at least as good as those of C, and it is abelian if C is. Dualization gives the other construction: a category C[i], the category of inverse systems in C, into which C also embeds and which satisfies similar properties, except that directed downsets in the E-quotient and M-subobject posets are replaced by directed upsets.

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Adamek, J., Herrlich, H. and Strecker, G. E.: Abstract and Concrete Categories, Pure and Applied Mathematics Series, Wiley, New York, 1990.

    Google Scholar 

  2. Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag, New York, 1971.

    Google Scholar 

  3. Rowan, W. H.: Regular coverings in complete modular lattices, Algebra Universalis(to appear).

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rowan, W.H. The Category of Directed Systems in a Category. Applied Categorical Structures 6, 63–86 (1998). https://doi.org/10.1023/A:1008600332095

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008600332095

Navigation