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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Sequential Path Objects

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Birkbeck Lectures MSM-AIMR Joint Online Workshop 2020 Whipple Museum of the History of Science

Other talks

Title TBC The concept of fitness in evolutionary biology: a philosophical analysis TBC Scientific Steering Committee meeting From lab to clinic: an introduction to translational research Title to be confirmed
 

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