COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

## Sequential Path ObjectsAdd 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
- 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. |
## Other listsAll CRASSH events Palestinians in Israel: Segregation, Discrimination and Democracy HORIZON: Reproductive Health## Other talksThe Chemistry of Planet Formation and the Making of Habitable Planets CANCELLED: Beverly Gage: G-Man: J. Edgar Hoover and the American Century Disabled Academics in the 21st Century: 15th Annual Disability Lecture A compositional approach to scalable statistical modelling and computation Recent Advances in Solid State Batteries and Beyond Li Technologies - Challenges for Fundamental Science An intellectual history of the universal basic income |