It has all finite products, and I think (depending on your defintion of Graph), it is easy to show that it has equalizers, and thus all finite limits.
If you are talking about directed graphs, then this is the topos of presheaves of sets over the category which consists of a pair of parallel arrows, and thus has a slew of wonderful properties, finite limits included.
No comments:
Post a Comment