Skip to main content
SpringerLink
Log in

Absolute Lax 2-categories

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

We have introduced, in a previous paper, the fundamental lax 2-category of a ‘directed space’ \(X\). Here we show that, when \( X \) has a \(T_1\)-topology, this structure can be embedded into a larger one, with the same objects (the points of \( X\)), the same arrows (the directed paths) and the same cells (based on directed homotopies of paths), but a larger system of comparison cells. The new comparison cells are absolute, in the sense that they only depend on the arrows themselves rather than on their syntactic expression, as in the usual settings of lax or weak structures. It follows that, in the original structure, all the diagrams of comparison cells commute, even if not constructed in a natural way and even if the composed cells need not stay within the old system.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bauer, A., Birkedal, L., Scott, D.S.: Equilogical spaces. Theor. Comp. Sci. 315, 35–59 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bénabou, J.: Catégories relatives. C. R. Acad. Sci. Paris 260, 3824–3827 (1965)

    MathSciNet  MATH  Google Scholar 

  3. Bénabou, J.: Introduction to bicategories. In: Reports of the Midwest Category Seminar, Lecture Notes in Mathematics, vol. 47, pp. 1–77. Springer, Berlin Heidelberg New York (1967)

    Google Scholar 

  4. Brown, R., Hardie, K.A., Kamps, K.H., Porter, T.: A homotopy double groupoid of a Hausdorff space. Theory Appl. Categ. 10, 71–93 (2002)

    MathSciNet  MATH  Google Scholar 

  5. Brown, R., Kamps, K.H., Porter, T.: A homotopy double groupoid of a Hausdorff space II: A van Kampen theorem. Theory Appl. Categ. 14, 200–220 (2005)

    MathSciNet  MATH  Google Scholar 

  6. Burroni, A.: T-catégories. Cah. Topol. Géom. Différ. 12, 215–321 (1971)

    MathSciNet  MATH  Google Scholar 

  7. Ehresmann, C.: Catégories et Structures. Dunod, Paris (1965)

    MATH  Google Scholar 

  8. Fajstrup, L., Raussen, M., Goubault, E., Haucourt, E.: Components of the fundamental category. Appl. Categ. Struct. 12, 81–108 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  9. Goubault, E.: Geometry and concurrency: A user’s guide. Geometry and concurrency. Math. Struct. Comput. Sci. 10(4), 411–425 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  10. Grandis, M.: Directed homotopy theory. I. The fundamental category. Cah. Topol. Géom. Différ. Catég. 44, 281–316 (2003)

    MathSciNet  MATH  Google Scholar 

  11. Grandis, M.: Inequilogical spaces, directed homology and noncommutative geometry. Homology Homotopy Appl. 6, 413–437 (2004)

    MathSciNet  MATH  Google Scholar 

  12. Grandis, M.: The shape of a category up to directed homotopy. Theory Appl. Categ. 15(4), 95–146 (2005) (CT2004)

    MathSciNet  MATH  Google Scholar 

  13. Grandis, M.: Lax 2-categories and directed homotopy. Cah. Topol. Géom. Diff. Catég., to appear. Dip. Mat. Univ. Genova, Preprint 530 (2005). http://www.dima.unige.it/~grandis/LCat.pdf

  14. Kelly, G.M.: On Mac Lane’s conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1, 397–402 (1964)

    Article  MathSciNet  MATH  Google Scholar 

  15. Leinster, T.: Higher Operads, Higher Categories. Cambridge University Press, Cambridge (2004)

    MATH  Google Scholar 

  16. Mac Lane, S.: Natural associativity and commutativity. Rice Univ. Stud. 49, 28–46 (1963)

    MathSciNet  Google Scholar 

  17. Scott, D.: A new category? Domains, spaces and equivalence relations, Unpublished manuscript (1996). http://www.cs.cmu.edu/Groups/LTC/

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Università di Genova, Via Dodecaneso 35, 16146, Genova, Italy

    Marco Grandis

Authors
  1. Marco Grandis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marco Grandis.

Additional information

Work supported by MIUR Research Projects.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Grandis, M. Absolute Lax 2-categories. Appl Categor Struct 14, 191–214 (2006). https://doi.org/10.1007/s10485-006-9017-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-006-9017-8

Key words

Mathematics Subject Classification (2000)

Search

Navigation