Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with coherence
Search options questions only
not deleted
user 15980
5
votes
1
answer
214
views
Necessity of shapes for coherence results in category theory
The classic coherence theorems of MacLane (Natural associativity and commutativity, Rice U. studies, 1963) talked about natural transformations between functors. … By 1971 (Kelly-MacLane, Coherence in closed categories, JPAA) and 1972 (Kelly, An abstract approach to coherence, LNM 281), functors had been replaced by "shapes"---formal combinations of given functors …
- 1,625