Topical categories of domains

@article{Vickers1999TopicalCO,
  title={Topical categories of domains},
  author={Steven J. Vickers},
  journal={Mathematical Structures in Computer Science},
  year={1999},
  volume={9},
  pages={569-616}
}
It is shown how many techniques of categorical domain theory can be expressed in the general context of topical categories (where \topical" means internal in the category Top of Grothendieck toposes with geometric morphisms). The underlying topos machinery is hidden by using a geometric form of constructive mathematics, which enables toposes as \generalized topological spaces" to be treated in a transparently spatial way, and also shows the constructivity of the arguments. The theory of… CONTINUE READING

From This Paper

Topics from this paper.
24 Citations
43 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 43 references

The theory of constructions: categorical semantics and

  • J.M.E. Hyland, A. M. Pitts
  • 1989
Highly Influential
5 Excerpts

Finiteness and decidability: I

  • O. na-Ortega, F.E.J. Linton
  • 1979
Highly Influential
9 Excerpts

Topos Theory

  • P. T. Johnstone
  • 1977
Highly Influential
13 Excerpts

Algebraically complete categories

  • P. Freyd
  • Carboni et al
  • 1991
Highly Influential
5 Excerpts

Some topos-theoretic concepts of nite

  • A. Kock, P. Lecoutourier, C. J. Mikkelsen
  • 1975
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…