Strongly algebraic = SFP (topically)

  • Authors:

  • Steven Vickers

  • Affiliations:

  • Department of Pure Mathematics, The Open University, Walton Hall, Milton Keynes, MK7 6AA, England. Email: s.j.vickers@open.ac.uk

  • Venue:
  • Mathematical Structures in Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Certain ‘Finite Structure Conditions’ on a geometric theory are shown to be sufficient for its classifying topos to be a presheaf topos. The conditions assert that every homomorphism from a finite structure of the theory to a model factors via a finite model, and they hold in cases where the finitely presentable models are all finite.The conditions are shown to hold for the theory of strongly algebraic (or SFP) information systems and some variants, as well as for some other theories already known to be classified by presheaf toposes.The work adheres to geometric constructivism throughout, and in consequence provides ‘topical’ categories of domains (internal in the category of toposes and geometric morphisms) with an analogue of Plotkin's double characterization of strongly algebraic domains, by sets of minimal upper bounds and by sequences of finite posets.