In a standard way, every poset can be considered as a category, and monotone mappings between posets can be considered as functors. |
To state the lemma, we need to make one more definition concerning functors. |
This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure. |
The manual pages describe the signatures, structures, and functors specified by the Library, and their semantics. |
Local errors, on the other hand, affect single elements in a sentence and include, for example, errors in morphology or morphological functors. |
Category theory takes the idea of mathematical analogy much further with the concept of functors. |