Object of a Category $C$ acts as Functor












0












$begingroup$


I have a question about a notation used in following paper: https://etale.site/writing/stax-seminar-talk.pdf (see page 4):



We take a category $C$ and consider a pair $(X_0,X_1)$ of two objects $X_1, X_1 in C$ satisfying identities between maps $s, t , epsilon, i $ and $m$ as described in the article above.



Then we define a new category in following way:



We take a $U in C$ and define a category ${X_0(U)/X_1(U)}$ such that:



The objects are defined via $ob({X_0(U)/X_1(U)}):= X_0(U)$.



And exactly this is the problem: What is exactly $X_0(U)$? Especially how $X_0$ "acts" on $U in C$?



Is $X_0$ concretely an element in $C$ or a functor $X_0:C to (Set)$, $U mapsto X_0(U)$?










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    I assume that $X_0(U)=operatorname{Hom}(U,X_0)$. That's fairly typical notation in AG (identify an object with its functor of points).
    $endgroup$
    – jgon
    Feb 2 at 17:23
















0












$begingroup$


I have a question about a notation used in following paper: https://etale.site/writing/stax-seminar-talk.pdf (see page 4):



We take a category $C$ and consider a pair $(X_0,X_1)$ of two objects $X_1, X_1 in C$ satisfying identities between maps $s, t , epsilon, i $ and $m$ as described in the article above.



Then we define a new category in following way:



We take a $U in C$ and define a category ${X_0(U)/X_1(U)}$ such that:



The objects are defined via $ob({X_0(U)/X_1(U)}):= X_0(U)$.



And exactly this is the problem: What is exactly $X_0(U)$? Especially how $X_0$ "acts" on $U in C$?



Is $X_0$ concretely an element in $C$ or a functor $X_0:C to (Set)$, $U mapsto X_0(U)$?










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    I assume that $X_0(U)=operatorname{Hom}(U,X_0)$. That's fairly typical notation in AG (identify an object with its functor of points).
    $endgroup$
    – jgon
    Feb 2 at 17:23














0












0








0


1



$begingroup$


I have a question about a notation used in following paper: https://etale.site/writing/stax-seminar-talk.pdf (see page 4):



We take a category $C$ and consider a pair $(X_0,X_1)$ of two objects $X_1, X_1 in C$ satisfying identities between maps $s, t , epsilon, i $ and $m$ as described in the article above.



Then we define a new category in following way:



We take a $U in C$ and define a category ${X_0(U)/X_1(U)}$ such that:



The objects are defined via $ob({X_0(U)/X_1(U)}):= X_0(U)$.



And exactly this is the problem: What is exactly $X_0(U)$? Especially how $X_0$ "acts" on $U in C$?



Is $X_0$ concretely an element in $C$ or a functor $X_0:C to (Set)$, $U mapsto X_0(U)$?










share|cite|improve this question









$endgroup$




I have a question about a notation used in following paper: https://etale.site/writing/stax-seminar-talk.pdf (see page 4):



We take a category $C$ and consider a pair $(X_0,X_1)$ of two objects $X_1, X_1 in C$ satisfying identities between maps $s, t , epsilon, i $ and $m$ as described in the article above.



Then we define a new category in following way:



We take a $U in C$ and define a category ${X_0(U)/X_1(U)}$ such that:



The objects are defined via $ob({X_0(U)/X_1(U)}):= X_0(U)$.



And exactly this is the problem: What is exactly $X_0(U)$? Especially how $X_0$ "acts" on $U in C$?



Is $X_0$ concretely an element in $C$ or a functor $X_0:C to (Set)$, $U mapsto X_0(U)$?







algebraic-geometry category-theory groupoids algebraic-stacks






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Feb 2 at 17:02









KarlPeterKarlPeter

6841416




6841416








  • 2




    $begingroup$
    I assume that $X_0(U)=operatorname{Hom}(U,X_0)$. That's fairly typical notation in AG (identify an object with its functor of points).
    $endgroup$
    – jgon
    Feb 2 at 17:23














  • 2




    $begingroup$
    I assume that $X_0(U)=operatorname{Hom}(U,X_0)$. That's fairly typical notation in AG (identify an object with its functor of points).
    $endgroup$
    – jgon
    Feb 2 at 17:23








2




2




$begingroup$
I assume that $X_0(U)=operatorname{Hom}(U,X_0)$. That's fairly typical notation in AG (identify an object with its functor of points).
$endgroup$
– jgon
Feb 2 at 17:23




$begingroup$
I assume that $X_0(U)=operatorname{Hom}(U,X_0)$. That's fairly typical notation in AG (identify an object with its functor of points).
$endgroup$
– jgon
Feb 2 at 17:23










1 Answer
1






active

oldest

votes


















0












$begingroup$

To expand on my comment, $X_0(U)=newcommandHom{operatorname{Hom}}Hom(U,X_0)$. That is, we identify objects of a category with their functors of points.



To rephrase the definition here, $X_0$ and $X_1$ are objects in $C$ parametrizing objects and morphisms of the groupoid respectively. Applying the functor $Hom(U,-)$ to our groupoid, we see that for all $U$, $X_0(U)$ and $X_1(U)$ together with $s,t,epsilon,i,m$ determine a groupoid in $mathbf{Set}$. This is the category ${X_0(U)/X_1(U)}$. Since $Hom(U,-)$ is also functorial in $U$, for morphisms $f:Vto U$, we get pullback maps $f^* : {X_0(U)/X_1(U)}to {X_0(V)/X_1(V)}$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    so essentially this is the Yoneda embedding?
    $endgroup$
    – KarlPeter
    Feb 4 at 0:45










  • $begingroup$
    @KarlPeter, yes exactly
    $endgroup$
    – jgon
    Feb 4 at 0:55












Your Answer








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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3097509%2fobject-of-a-category-c-acts-as-functor%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









0












$begingroup$

To expand on my comment, $X_0(U)=newcommandHom{operatorname{Hom}}Hom(U,X_0)$. That is, we identify objects of a category with their functors of points.



To rephrase the definition here, $X_0$ and $X_1$ are objects in $C$ parametrizing objects and morphisms of the groupoid respectively. Applying the functor $Hom(U,-)$ to our groupoid, we see that for all $U$, $X_0(U)$ and $X_1(U)$ together with $s,t,epsilon,i,m$ determine a groupoid in $mathbf{Set}$. This is the category ${X_0(U)/X_1(U)}$. Since $Hom(U,-)$ is also functorial in $U$, for morphisms $f:Vto U$, we get pullback maps $f^* : {X_0(U)/X_1(U)}to {X_0(V)/X_1(V)}$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    so essentially this is the Yoneda embedding?
    $endgroup$
    – KarlPeter
    Feb 4 at 0:45










  • $begingroup$
    @KarlPeter, yes exactly
    $endgroup$
    – jgon
    Feb 4 at 0:55
















0












$begingroup$

To expand on my comment, $X_0(U)=newcommandHom{operatorname{Hom}}Hom(U,X_0)$. That is, we identify objects of a category with their functors of points.



To rephrase the definition here, $X_0$ and $X_1$ are objects in $C$ parametrizing objects and morphisms of the groupoid respectively. Applying the functor $Hom(U,-)$ to our groupoid, we see that for all $U$, $X_0(U)$ and $X_1(U)$ together with $s,t,epsilon,i,m$ determine a groupoid in $mathbf{Set}$. This is the category ${X_0(U)/X_1(U)}$. Since $Hom(U,-)$ is also functorial in $U$, for morphisms $f:Vto U$, we get pullback maps $f^* : {X_0(U)/X_1(U)}to {X_0(V)/X_1(V)}$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    so essentially this is the Yoneda embedding?
    $endgroup$
    – KarlPeter
    Feb 4 at 0:45










  • $begingroup$
    @KarlPeter, yes exactly
    $endgroup$
    – jgon
    Feb 4 at 0:55














0












0








0





$begingroup$

To expand on my comment, $X_0(U)=newcommandHom{operatorname{Hom}}Hom(U,X_0)$. That is, we identify objects of a category with their functors of points.



To rephrase the definition here, $X_0$ and $X_1$ are objects in $C$ parametrizing objects and morphisms of the groupoid respectively. Applying the functor $Hom(U,-)$ to our groupoid, we see that for all $U$, $X_0(U)$ and $X_1(U)$ together with $s,t,epsilon,i,m$ determine a groupoid in $mathbf{Set}$. This is the category ${X_0(U)/X_1(U)}$. Since $Hom(U,-)$ is also functorial in $U$, for morphisms $f:Vto U$, we get pullback maps $f^* : {X_0(U)/X_1(U)}to {X_0(V)/X_1(V)}$.






share|cite|improve this answer









$endgroup$



To expand on my comment, $X_0(U)=newcommandHom{operatorname{Hom}}Hom(U,X_0)$. That is, we identify objects of a category with their functors of points.



To rephrase the definition here, $X_0$ and $X_1$ are objects in $C$ parametrizing objects and morphisms of the groupoid respectively. Applying the functor $Hom(U,-)$ to our groupoid, we see that for all $U$, $X_0(U)$ and $X_1(U)$ together with $s,t,epsilon,i,m$ determine a groupoid in $mathbf{Set}$. This is the category ${X_0(U)/X_1(U)}$. Since $Hom(U,-)$ is also functorial in $U$, for morphisms $f:Vto U$, we get pullback maps $f^* : {X_0(U)/X_1(U)}to {X_0(V)/X_1(V)}$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Feb 2 at 17:33









jgonjgon

16.6k32143




16.6k32143












  • $begingroup$
    so essentially this is the Yoneda embedding?
    $endgroup$
    – KarlPeter
    Feb 4 at 0:45










  • $begingroup$
    @KarlPeter, yes exactly
    $endgroup$
    – jgon
    Feb 4 at 0:55


















  • $begingroup$
    so essentially this is the Yoneda embedding?
    $endgroup$
    – KarlPeter
    Feb 4 at 0:45










  • $begingroup$
    @KarlPeter, yes exactly
    $endgroup$
    – jgon
    Feb 4 at 0:55
















$begingroup$
so essentially this is the Yoneda embedding?
$endgroup$
– KarlPeter
Feb 4 at 0:45




$begingroup$
so essentially this is the Yoneda embedding?
$endgroup$
– KarlPeter
Feb 4 at 0:45












$begingroup$
@KarlPeter, yes exactly
$endgroup$
– jgon
Feb 4 at 0:55




$begingroup$
@KarlPeter, yes exactly
$endgroup$
– jgon
Feb 4 at 0:55


















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3097509%2fobject-of-a-category-c-acts-as-functor%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

SQL update select statement

WPF add header to Image with URL pettitions [duplicate]