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 92164
5
votes
0
answers
129
views
A recursive attempt at $n$-dimensional coherence
that a functor $F:\mathcal{C}\to\mathcal{D}$ between categories is a pair of functions $F_0:{\bf Ob}_\mathcal{C}\to{\bf Ob}_\mathcal{D}$, $F_1:{\bf Hom}_\mathcal{C}\to{\bf Hom}_\mathcal{D}$ satisfying coherence … a natural transformation $\alpha:F\Rightarrow G$ between parallel functors $F,G:\mathcal{C}\rightrightarrows\mathcal{D}$ is a function $\alpha:{\bf Ob}_\mathcal{C}\to{\bf Hom}_\mathcal{D}$ satisfying coherence …
- 10.1k
1
vote
0
answers
47
views
Predicting coherence diagrams one dimension up
It seems like it should be possible to 'predict' what coherence diagrams we're going to encounter in the next dimension from the current one, seeing as these coherence diagrams are essentially a byproduct … My question is:
Has any work been done attempting to 'predict' the coherence diagrams in the next dimension from the one we're currently comfortable in? …
- 10.1k