Sequential Path Objects

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

• Sori Lee (University of Cambridge)
• Thursday 22 May 2014, 14:00-15:00
• CMS, MR3.

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.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• CMS, MR3
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• Junior Category Theory Seminar
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.