An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions.

Marcelo P. Fiore

Published in: Math. Struct. Comput. Sci. (1997)

Keyphrases

continuous functions
digital topology
differential equations
real valued
endpoints
single valued
image processing
image segmentation
functional dependencies