| |
| | Practical Foundations of Mathematics |
 | | Whereas morphisms of a category are in some sense isolated from one another, functors (like the objects which are their values) have a kind of fluidity between them, given by the morphisms of the target category, which we haven't taken into account. |
 | | The first task of category theory is an organisational one: after various kinds of objects (types, sets, posets, complete semilattices and dcpos) and maps (terms, relations; partial, total, monotone, continuous and structure- preserving functions; and adjunctions) have been introduced, we were able to put them in a common framework as categories. |
 | | For the (large) category-domains mentioned above, it is still possible to control the size of the functor categories, because the functors in question are Scott-continuous and are therefore determined by their values on ``finite'' objects as in Proposition 3.4.12. |
| www.cs.man.ac.uk /~pt/Practical_Foundations/html/s48.html (1934 words) |
|