University of Cambridge > Talks.cam > Junior Category Theory Seminar > Sequential Path Objects

Sequential Path Objects

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Sean Moss.

Recall that we have a notion of paths in graphs: these are strings of “composable” edges. Given an internal multigraph (= multiple edges allowed) on an object in a category, we can construct the object of paths in the multigraph, assuming that the category has necessary structures that facilitate the construction like the natural number object.

If the objects of a category come equipped with a “natural” internal multigraph, then the aforementioned construction equips the objects of the category with a “natural” object of paths. This construction conceptualizes the path object of Jaap van Oosten in the effective topos.

My talk will be anecdotes about this “sequential path object” from the viewpoint of modelling intensional type theory.

This talk is part of the Junior Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity