Is there any references on the tensor product of presentable (1-)categories?Example of a locally presentable $2$-category$infty$-ary tensor product on a categoryWhich categories are the categories of models of a Lawvere theory? Lower Algebra: Modules over the monoidal category of abelian groupsHomotopy theory of acyclic categoriesCan tangent ($infty$,1)-categories be described in terms of the higher Grothendieck construction?Model existence theorem in topos theoryHow to understand the Deligne' tensor product of finite abelian categoryLocally presentable abelian categories with enough injective objectsThe induced functor in the definition of Deligne's tensor product is exact?
Multi tool use
Is there any references on the tensor product of presentable (1-)categories?
Example of a locally presentable $2$-category$infty$-ary tensor product on a categoryWhich categories are the categories of models of a Lawvere theory? Lower Algebra: Modules over the monoidal category of abelian groupsHomotopy theory of acyclic categoriesCan tangent ($infty$,1)-categories be described in terms of the higher Grothendieck construction?Model existence theorem in topos theoryHow to understand the Deligne' tensor product of finite abelian categoryLocally presentable abelian categories with enough injective objectsThe induced functor in the definition of Deligne's tensor product is exact?
$begingroup$
Is there any references on the tensor product of (locally) presentable categories ?
All I know about this is Lurie's book that deals with the $infty$-categorical version, and a few references that deals with special cases (Grothendieck abelian categories, toposes etc...)
Is there any references that defines it properly and proves the basic properties ?
reference-request ct.category-theory locally-presentable-categories
asked yesterday
Simon HenrySimon Henry
15.5k14990
$endgroup$
add a comment |
$begingroup$
Is there any references on the tensor product of (locally) presentable categories ?
All I know about this is Lurie's book that deals with the $infty$-categorical version, and a few references that deals with special cases (Grothendieck abelian categories, toposes etc...)
Is there any references that defines it properly and proves the basic properties ?
reference-request ct.category-theory locally-presentable-categories
asked yesterday
Simon HenrySimon Henry
15.5k14990
$endgroup$
1
$begingroup$
It's certainly not what you have in mind, but I think it might be worth mentioning that Lurie's work does cover this example too (although I don't think he works out the details in his book): $mathrmSet$ is an idempotent algebra in $mathrmPr^L$ and modules over it are precisely presentable 1-categories.
$endgroup$
– Denis Nardin
18 hours ago
1
$begingroup$
Yes of course ! I know. But as you suspected, I was hopping for more elementary references that could also be read by people only familiar with ordinary category theory.
$endgroup$
– Simon Henry
17 hours ago
add a comment |
$begingroup$
Is there any references on the tensor product of (locally) presentable categories ?
All I know about this is Lurie's book that deals with the $infty$-categorical version, and a few references that deals with special cases (Grothendieck abelian categories, toposes etc...)
Is there any references that defines it properly and proves the basic properties ?
reference-request ct.category-theory locally-presentable-categories
asked yesterday
Simon HenrySimon Henry
15.5k14990
$endgroup$
Is there any references on the tensor product of (locally) presentable categories ?
All I know about this is Lurie's book that deals with the $infty$-categorical version, and a few references that deals with special cases (Grothendieck abelian categories, toposes etc...)
Is there any references that defines it properly and proves the basic properties ?
reference-request ct.category-theory locally-presentable-categories
reference-request ct.category-theory locally-presentable-categories
asked yesterday
Simon HenrySimon Henry
15.5k14990
asked yesterday
Simon HenrySimon Henry
15.5k14990
edited yesterday
Simon Henry
asked yesterday
Simon HenrySimon Henry
15.5k14990
asked yesterday
Simon HenrySimon Henry
15.5k14990
asked yesterday
Simon HenrySimon Henry
15.5k14990
15.5k14990
1
$begingroup$
It's certainly not what you have in mind, but I think it might be worth mentioning that Lurie's work does cover this example too (although I don't think he works out the details in his book): $mathrmSet$ is an idempotent algebra in $mathrmPr^L$ and modules over it are precisely presentable 1-categories.
$endgroup$
– Denis Nardin
18 hours ago
1
$begingroup$
Yes of course ! I know. But as you suspected, I was hopping for more elementary references that could also be read by people only familiar with ordinary category theory.
$endgroup$
– Simon Henry
17 hours ago
add a comment |
1
$begingroup$
It's certainly not what you have in mind, but I think it might be worth mentioning that Lurie's work does cover this example too (although I don't think he works out the details in his book): $mathrmSet$ is an idempotent algebra in $mathrmPr^L$ and modules over it are precisely presentable 1-categories.
$endgroup$
– Denis Nardin
18 hours ago
1
$begingroup$
Yes of course ! I know. But as you suspected, I was hopping for more elementary references that could also be read by people only familiar with ordinary category theory.
$endgroup$
– Simon Henry
17 hours ago
1
1
$begingroup$
It's certainly not what you have in mind, but I think it might be worth mentioning that Lurie's work does cover this example too (although I don't think he works out the details in his book): $mathrmSet$ is an idempotent algebra in $mathrmPr^L$ and modules over it are precisely presentable 1-categories.
$endgroup$
– Denis Nardin
18 hours ago
$begingroup$
It's certainly not what you have in mind, but I think it might be worth mentioning that Lurie's work does cover this example too (although I don't think he works out the details in his book): $mathrmSet$ is an idempotent algebra in $mathrmPr^L$ and modules over it are precisely presentable 1-categories.
$endgroup$
– Denis Nardin
18 hours ago
1
1
$begingroup$
Yes of course ! I know. But as you suspected, I was hopping for more elementary references that could also be read by people only familiar with ordinary category theory.
$endgroup$
– Simon Henry
17 hours ago
$begingroup$
Yes of course ! I know. But as you suspected, I was hopping for more elementary references that could also be read by people only familiar with ordinary category theory.
$endgroup$
– Simon Henry
17 hours ago
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The canonical reference is Chapter 5 of Greg Bird's thesis.
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
$endgroup$
add a comment |
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: "504"
;
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%2fmathoverflow.net%2fquestions%2f326139%2fis-there-any-references-on-the-tensor-product-of-presentable-1-categories%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The canonical reference is Chapter 5 of Greg Bird's thesis.
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
$endgroup$
add a comment |
$begingroup$
The canonical reference is Chapter 5 of Greg Bird's thesis.
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
$endgroup$
add a comment |
$begingroup$
The canonical reference is Chapter 5 of Greg Bird's thesis.
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
$endgroup$
The canonical reference is Chapter 5 of Greg Bird's thesis.
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
answered yesterday
Alexander CampbellAlexander Campbell
2,32111316
2,32111316
add a comment |
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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.
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%2fmathoverflow.net%2fquestions%2f326139%2fis-there-any-references-on-the-tensor-product-of-presentable-1-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
2Wn lHP StUZP09AjjjCGHwTsCMBLGttGL Mnl1MsS3OFL15BBL0dag78,g x8lc,RdmzB fqab
1
$begingroup$
It's certainly not what you have in mind, but I think it might be worth mentioning that Lurie's work does cover this example too (although I don't think he works out the details in his book): $mathrmSet$ is an idempotent algebra in $mathrmPr^L$ and modules over it are precisely presentable 1-categories.
$endgroup$
– Denis Nardin
18 hours ago
1
$begingroup$
Yes of course ! I know. But as you suspected, I was hopping for more elementary references that could also be read by people only familiar with ordinary category theory.
$endgroup$
– Simon Henry
17 hours ago