started the notion of continuous functors