Finite relational structure models of topological spaces and maps

  • Authors:

  • K. A. Hardie;P. J. Witbooi

  • Affiliations:

  • University of Cape Town, 7700 Rondebosch, South Africa and University of the Western Cape, Pr Bag X17, 7535 Bellville, South Africa;University of the Western Cape, Pr Bag X17, 7535 Bellville, South Africa

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2008

Quantified Score

Hi-index 5.23

Visualization

Abstract

We define the notion of homotopy pushout in the category of binary reflexive relational structures and explore its basic properties. We construct finite models in this category, of spaces and maps in Top with a view to developing systematic methods in this regard.