Nearly locally presentable categories
Here1, in the remark $2.3 (1)$ how from the fact that ${cal K}(A,-)$ does not preserve coproducts it follows that ${cal K}(A,-)$ sends special $lambda$-directed colimits to $lambda$-directed colimits and not to special $lambda$-directed ones?
1
Leonid Positselski, Jiří Rosický: Nearly locally presentable categories,
Theory and Appl. of Categories 33 (2018), #10, p.253-264;
http://www.tac.mta.ca/tac/volumes/33/10/33-10abs.html https://arxiv.org/abs/1710.10476
category-theory functors representable-functor hom-functor
edited Nov 22 at 10:49
Saad
19.7k92252
asked Nov 14 at 15:06
user122424
1,0771616
add a comment |
Here1, in the remark $2.3 (1)$ how from the fact that ${cal K}(A,-)$ does not preserve coproducts it follows that ${cal K}(A,-)$ sends special $lambda$-directed colimits to $lambda$-directed colimits and not to special $lambda$-directed ones?
1
Leonid Positselski, Jiří Rosický: Nearly locally presentable categories,
Theory and Appl. of Categories 33 (2018), #10, p.253-264;
http://www.tac.mta.ca/tac/volumes/33/10/33-10abs.html https://arxiv.org/abs/1710.10476
category-theory functors representable-functor hom-functor
edited Nov 22 at 10:49
Saad
19.7k92252
asked Nov 14 at 15:06
user122424
1,0771616
To preserve special directed colimits, which are by definition always coproducts, just with a richer diagram shape than the discrete one, you would have to preserve coproducts.
– Kevin Carlson
Nov 14 at 18:53
I do not follow the meaning of the middle part of your sentence: " just with a richer diagram shape than the discrete one"
– user122424
Nov 14 at 21:07
It's a coproduct expressed as a filtered colimit of sub-coproducts of up to size $lambda$ rather than as a discrete colimit. But it's still required to be a coproduct.
– Kevin Carlson
Nov 14 at 22:05
add a comment |
Here1, in the remark $2.3 (1)$ how from the fact that ${cal K}(A,-)$ does not preserve coproducts it follows that ${cal K}(A,-)$ sends special $lambda$-directed colimits to $lambda$-directed colimits and not to special $lambda$-directed ones?
1
Leonid Positselski, Jiří Rosický: Nearly locally presentable categories,
Theory and Appl. of Categories 33 (2018), #10, p.253-264;
http://www.tac.mta.ca/tac/volumes/33/10/33-10abs.html https://arxiv.org/abs/1710.10476
category-theory functors representable-functor hom-functor
edited Nov 22 at 10:49
Saad
19.7k92252
asked Nov 14 at 15:06
user122424
1,0771616
Here1, in the remark $2.3 (1)$ how from the fact that ${cal K}(A,-)$ does not preserve coproducts it follows that ${cal K}(A,-)$ sends special $lambda$-directed colimits to $lambda$-directed colimits and not to special $lambda$-directed ones?
1
Leonid Positselski, Jiří Rosický: Nearly locally presentable categories,
Theory and Appl. of Categories 33 (2018), #10, p.253-264;
http://www.tac.mta.ca/tac/volumes/33/10/33-10abs.html https://arxiv.org/abs/1710.10476
category-theory functors representable-functor hom-functor
category-theory functors representable-functor hom-functor
edited Nov 22 at 10:49
Saad
19.7k92252
asked Nov 14 at 15:06
user122424
1,0771616
edited Nov 22 at 10:49
Saad
19.7k92252
asked Nov 14 at 15:06
user122424
1,0771616
edited Nov 22 at 10:49
Saad
19.7k92252
edited Nov 22 at 10:49
Saad
19.7k92252
edited Nov 22 at 10:49
Saad
19.7k92252
19.7k92252
asked Nov 14 at 15:06
user122424
1,0771616
asked Nov 14 at 15:06
user122424
1,0771616
asked Nov 14 at 15:06
user122424
1,0771616
1,0771616
To preserve special directed colimits, which are by definition always coproducts, just with a richer diagram shape than the discrete one, you would have to preserve coproducts.
– Kevin Carlson
Nov 14 at 18:53
I do not follow the meaning of the middle part of your sentence: " just with a richer diagram shape than the discrete one"
– user122424
Nov 14 at 21:07
It's a coproduct expressed as a filtered colimit of sub-coproducts of up to size $lambda$ rather than as a discrete colimit. But it's still required to be a coproduct.
– Kevin Carlson
Nov 14 at 22:05
add a comment |
To preserve special directed colimits, which are by definition always coproducts, just with a richer diagram shape than the discrete one, you would have to preserve coproducts.
– Kevin Carlson
Nov 14 at 18:53
I do not follow the meaning of the middle part of your sentence: " just with a richer diagram shape than the discrete one"
– user122424
Nov 14 at 21:07
It's a coproduct expressed as a filtered colimit of sub-coproducts of up to size $lambda$ rather than as a discrete colimit. But it's still required to be a coproduct.
– Kevin Carlson
Nov 14 at 22:05
To preserve special directed colimits, which are by definition always coproducts, just with a richer diagram shape than the discrete one, you would have to preserve coproducts.
– Kevin Carlson
Nov 14 at 18:53
To preserve special directed colimits, which are by definition always coproducts, just with a richer diagram shape than the discrete one, you would have to preserve coproducts.
– Kevin Carlson
Nov 14 at 18:53
I do not follow the meaning of the middle part of your sentence: " just with a richer diagram shape than the discrete one"
– user122424
Nov 14 at 21:07
I do not follow the meaning of the middle part of your sentence: " just with a richer diagram shape than the discrete one"
– user122424
Nov 14 at 21:07
It's a coproduct expressed as a filtered colimit of sub-coproducts of up to size $lambda$ rather than as a discrete colimit. But it's still required to be a coproduct.
– Kevin Carlson
Nov 14 at 22:05
It's a coproduct expressed as a filtered colimit of sub-coproducts of up to size $lambda$ rather than as a discrete colimit. But it's still required to be a coproduct.
– Kevin Carlson
Nov 14 at 22:05
add a comment |
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2998365%2fnearly-locally-presentable-categories%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2998365%2fnearly-locally-presentable-categories%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
To preserve special directed colimits, which are by definition always coproducts, just with a richer diagram shape than the discrete one, you would have to preserve coproducts.
– Kevin Carlson
Nov 14 at 18:53
I do not follow the meaning of the middle part of your sentence: " just with a richer diagram shape than the discrete one"
– user122424
Nov 14 at 21:07
It's a coproduct expressed as a filtered colimit of sub-coproducts of up to size $lambda$ rather than as a discrete colimit. But it's still required to be a coproduct.
– Kevin Carlson
Nov 14 at 22:05