Cartesian Closed Categories, Quasitopoi and Topological Universes.

Jirí Adámek Horst Herrlich

Published in: Mathematical Foundations of Programming Semantics (1985)

Keyphrases

closure operator
object categories
bayesian networks
topological properties
automatically classify
real time
genetic algorithm
decision trees
image features
connected components
queueing networks
category specific
broad categories