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.
 
PhysOrg.com
PhysOrg
mathematics news on PhysOrg.com

>> Mathematicians analyze social divisions using cell phone data
>> Can math models of gaming strategies be used to detect terrorism networks?
>> Mathematician proves there are infinitely many pairs of prime numbers less than 70 million units apart
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