Author: Dean Format: MarkdownItexSimply a typo; the constant functor is of type $C \rightarrow \text{Func}(K, C)$.
<a href="https://ncatlab.org/nlab/revision/diff/%28%E2%88%9E%2C1%29-limit/72">diff</a>, <a href="https://ncatlab.org/nlab/revision/%28%E2%88%9E%2C1%29-limit/72">v72</a>, <a href="https://ncatlab.org/nlab/show/%28%E2%88%9E%2C1%29-limit">current</a>
Simply a typo; the constant functor is of type $C \rightarrow \text{Func}(K, C)$.
Author: Dean Format: MarkdownItexSimply a typo; the constant functor is of type $C \rightarrow \text{Func}(K, C)$.
<a href="https://ncatlab.org/nlab/revision/diff/%28%E2%88%9E%2C1%29-limit/73">diff</a>, <a href="https://ncatlab.org/nlab/revision/%28%E2%88%9E%2C1%29-limit/73">v73</a>, <a href="https://ncatlab.org/nlab/show/%28%E2%88%9E%2C1%29-limit">current</a>
Simply a typo; the constant functor is of type $C \rightarrow \text{Func}(K, C)$.
Author: Shamrock Format: TextIs Proposition 4.6 supposed to be for colimits? It immediately says limits are given by initial objects of the overcategory when it should be a final one, yes?
Is Proposition 4.6 supposed to be for colimits? It immediately says limits are given by initial objects of the overcategory when it should be a final one, yes?
Author: Urs Format: MarkdownItexThanks, right, the three occurrences of "initial object" should have been "terminal object". I have fixed it.
(The argument remains unaffected, because the universal property of the initial/terminal object is never used.)
<a href="https://ncatlab.org/nlab/revision/diff/%28%E2%88%9E%2C1%29-limit/79">diff</a>, <a href="https://ncatlab.org/nlab/revision/%28%E2%88%9E%2C1%29-limit/79">v79</a>, <a href="https://ncatlab.org/nlab/show/%28%E2%88%9E%2C1%29-limit">current</a>
Thanks, right, the three occurrences of “initial object” should have been “terminal object”. I have fixed it.
(The argument remains unaffected, because the universal property of the initial/terminal object is never used.)