![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
This is an important insight: comma categories always have a terminal object. Now, I can relate it to Lawvere's interpretation of Hegel's logic.
"If X is any application of the graphic G , then the "comma" category G/X (whose objects are the elements of X and whose morphisms determine the action via the discrete fibration property of the labelling functor G/X -> G ) is again a graphic. Thus each particular application X of G provides one way G'-> G of expanding the graphic G into a more detailed graphic G' " -- Lawvere, Hegelian Taco.
"If X is any application of the graphic G , then the "comma" category G/X (whose objects are the elements of X and whose morphisms determine the action via the discrete fibration property of the labelling functor G/X -> G ) is again a graphic. Thus each particular application X of G provides one way G'-> G of expanding the graphic G into a more detailed graphic G' " -- Lawvere, Hegelian Taco.