| This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure. |
|
| To state the lemma, we need to make one more definition concerning functors. |
|
| Category theory takes the idea of mathematical analogy much further with the concept of functors. |
|
| In a standard way, every poset can be considered as a category, and monotone mappings between posets can be considered as functors. |
|
| 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. |
|
| One-sided compactness results for Aronszajn-Gagliardo functors. |
|
