| Thread Closed |
Graph and Free Graph in Category Theory |
Share Thread | Thread Tools |
| Oct16-08, 05:36 PM | #1 |
|
|
Graph and Free Graph in Category Theory
Cat(FG, B) [tex]\cong[/tex]Grph(G, UB)
Cat denotes the category of all small categories and Grph denotes the category of all small graphs. G is a small graph which consists of small set O of objects and small set A of arrows f (CWM, PP48-51) UB is a forgetful functor applied to category B which is an underlying graph of a category B. Morphism of graphs D:G->UB corresponds to D[tex]\acute{}[/tex]:FG->B I can't figure out how D[tex]\acute{}[/tex] looks like and how the mapping behaves. For D:G->UB, CWM (p50) says it sends each arrow f:a1->a2 of the given graph G to the string <a1,f,a2> of length 2 in UB. Now, if G is freely generated to make a category FG, how is it generated and how does it look like? A category itself can be described in a graph form. What would be the difference between B and UB if a forgetful functor is applied to B? Any advice will be appreciated. |
| Thread Closed |
| Thread Tools | |
Similar Threads for: Graph and Free Graph in Category Theory
|
||||
| Thread | Forum | Replies | ||
| Research Topic in Graph Theory or Non-Well-Founded Set Theory | Academic Guidance | 6 | ||
| Sketching velocity graph from acceleration graph | Introductory Physics Homework | 3 | ||
| Graph Theory | Calculus & Beyond Homework | 1 | ||
| Real life situation to a sin graph on position by time graph | Differential Equations | 6 | ||
| Graph Theory -- How do I construct this graph? | Calculus & Beyond Homework | 2 | ||