« first day (33 days earlier)      last day (2437 days later) » 

09:21
Now asked also in the main chatroom:
in Mathematics, 4 hours ago, by LastIronStar
Howdy Navigators, I am a wayfarer in the land of mathematics looking to set sail upon the ocean that is Category Theory. I needs me a hardy perspective so that I may weather the categorial elements. A Discrete Math/Combinatorial perspective to be precise. Know ye of tome(s) on category theory that speak with such perspective?
09:35
Haha yeah
Thought I should leave no stone unturned
 
4 hours later…
13:17
Consider a Functor $F:\mathcal{C} \rightarrow \mathcal{D}$. I want to show that if $F$ maps the objects of $\mathcal{C}$ injectively to objects of $\mathcal{D}$ then, the image $F\mathcal{C}$ is a sub-category of $\mathcal{D}$
I am at the juncture where I think I need to show that for two arrows $f:A \rightarrow B$ & $g:B \rightarrow C$ in $\mathcal{C}$, $Fg \circ Ff$ is in $F\mathcal{C}$. Is this the right way to proceed?
user131753
@LastIronStar: Do you have Roman's book at your disposal?
@user170039 that's the one i'm following
but i didn't look at the proof
user131753
@LastIronStar Very good.
i want to arrive at it even if with help, that's better i feel
@user170039 first time someone's mentioned roman's book over other sources, i'm happy!
user131753
Let me try to help you so that you yourself can answer your question. More specifically the following,
user131753
13:32
10 mins ago, by LastIronStar
I am at the juncture where I think I need to show that for two arrows $f:A \rightarrow B$ & $g:B \rightarrow C$ in $\mathcal{C}$, $Fg \circ Ff$ is in $F\mathcal{C}$. Is this the right way to proceed?
user131753
For that let's go back at the definition of the Subcategories given in Roman's book.
user131753
For the definition to work, you will first need to show that $F\mathcal{C}$ is a category. Have you done that @LastIronStar?
@user170039 but that's the question!
user131753
@LastIronStar No it's not. Note that in Roman's definition he writes, "Let $\mathcal{C}$ be a category. A subcategory $\mathcal{D}$ of $\mathcal{C}$ is a category for..." So unless you show that $F\mathcal{C}$ is a category itself, how can you apply Roman's definition of a subcategory to conclude that $F\mathcal{C}$ is a subcategory of $D$?
user131753
@LastIronStar Wait, by this comment did you mean the following question,
user131753
13:42
24 mins ago, by LastIronStar
Consider a Functor $F:\mathcal{C} \rightarrow \mathcal{D}$. I want to show that if $F$ maps the objects of $\mathcal{C}$ injectively to objects of $\mathcal{D}$ then, the image $F\mathcal{C}$ is a sub-category of $\mathcal{D}$
user131753
or the following,
user131753
20 mins ago, by LastIronStar
I am at the juncture where I think I need to show that for two arrows $f:A \rightarrow B$ & $g:B \rightarrow C$ in $\mathcal{C}$, $Fg \circ Ff$ is in $F\mathcal{C}$. Is this the right way to proceed?
the second statement is a regaling of my journey to prove the first!
user131753
Sorry, I misunderstood.
issok, no worries
user131753
14:01
If you want to show that $F\mathcal{C}$ is a category then you need to ensure that for all $A,B,C\in\text{obj}(F\mathcal{C})$ and for $i\in\text{hom}_{F\mathcal{C}}(A,B),j\in\text{hom}_{F\mathcal{C}}(B,C)$ there exists a morphism $j\circ i$ such that $j\circ i\in\text{hom}_{F\mathcal{C}}(A,C)$. Isn't it? Now take a look at your own question, do you get the answer @LastIronStar?
the only way this is gonna fall through is if $Fj \circ Fi$ fails to be in $F\mathcal{C}$ but since $\mathcal{D}$ is a cat, this means that $Fj \circ Fi$ exists in $\mathcal{D}$. So the only violation that's possible is if it exists and falls outside $F\mathcal{C}$
user131753
@LastIronStar Exactly. In other words if $F(j\circ i)\ne Fj\circ Fi$, right?
I see, so you are saying essentially that we need to prove that $j \circ i$ lies in $\mathcal{C}$
@user170039 well, since $F$ is a functor, if $j \circ i$ is defined, the statement you make has to be an equality
so it boils down to proving that $j \circ i$ is well-defined!
here's where we would need to inject the injectivity clause, pun intended.
user131753
I will leave the rest to you. I think you can handle it now.
sure, i'll post for verification
user131753
14:11
Just forgot to mention one thing. Before reading Roman's book, I think it is better if you listen to his lectures and then complement it with his book (I myself did the same) @LastIronStar.
2
@user170039 are they on YouTube?
nvm they are
user131753
@LastIronStar See this.

« first day (33 days earlier)      last day (2437 days later) »