Highly Influenced

# 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} }

- Published 1999 in Mathematical Structures in Computer Science

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

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential