{"guid":"14a9ced8-f4d3-596b-b90a-41aa9d49614b","title":"Coinductive invertibility in higher categories","subtitle":null,"slug":"qtcat-2026-110772-coinductive-invertibility-in-higher-categories","link":"https://pretalx.c3voc.de/qtcat-2026/talk/LARUFT/","description":"Invertibility is a crucial notion in category theory, providing the correct notion of sameness for objects within a category and equivalences of categories. This notion readily generalises to finite-dimensional higher categories inductively by replacing equalities with higher dimensional isomorphisms. The situation becomes more subtle with infinite-dimensional categories where there are different notions of invertibility. In this talk, we will give an introduction to weak ω-categories and we will study coinductively invertible cells within them. We will then describe computads with invertible generators as data for freely generating ω-categories.\n\nLicensed to the public under https://creativecommons.org/licenses/by/4.0/","original_language":"eng","persons":["Ioannis Markakis"],"view_count":19,"promoted":false,"date":"2026-08-13T10:00:00.000+02:00","release_date":"2026-08-13T00:00:00.000+02:00","updated_at":"2026-08-19T03:45:04.892+02:00","tags":["LARUFT","2026","qtcat2026","R. 221","qtcat2026-eng","Day 2"],"length":3392,"duration":3392,"thumb_url":"https://static.media.ccc.de/media/events/qtcat/2026/110772-14a9ced8-f4d3-596b-b90a-41aa9d49614b.jpg","poster_url":"https://static.media.ccc.de/media/events/qtcat/2026/110772-14a9ced8-f4d3-596b-b90a-41aa9d49614b_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/qtcat/2026/110772-14a9ced8-f4d3-596b-b90a-41aa9d49614b.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/qtcat/2026/110772-14a9ced8-f4d3-596b-b90a-41aa9d49614b.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/qtcat-2026-110772-coinductive-invertibility-in-higher-categories","url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_title":"Queer and Trans People in Category Theory 2026","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026","related":[],"recordings":[{"length":3392,"mime_type":"video/mp4","language":"eng","filename":"qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-13T15:20:03.051+02:00","label":"eng 1080p","size":223,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/h264-hd/qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_hd.mp4","url":"https://api.media.ccc.de/public/recordings/103337","event_url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":3392,"mime_type":"audio/mpeg","language":"eng","filename":"qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2026-08-13T15:22:03.381+02:00","label":"eng","size":52,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/mp3/qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/103338","event_url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":3392,"mime_type":"audio/opus","language":"eng","filename":"qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2026-08-13T15:22:07.392+02:00","label":"eng","size":34,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/opus/qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_opus.opus","url":"https://api.media.ccc.de/public/recordings/103339","event_url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":3392,"mime_type":"video/mp4","language":"eng","filename":"qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-08-13T15:23:33.071+02:00","label":"eng 576p","size":95,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/h264-sd/qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_sd.mp4","url":"https://api.media.ccc.de/public/recordings/103340","event_url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":3392,"mime_type":"video/webm;codecs=av01","language":"eng","filename":"qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_av1-hd.webm","state":"new","folder":"av1-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-13T15:36:00.487+02:00","label":"eng 1080p","size":174,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/av1-hd/qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_av1-hd.webm","url":"https://api.media.ccc.de/public/recordings/103341","event_url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":3392,"mime_type":"video/webm","language":"eng","filename":"qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-13T15:52:56.021+02:00","label":"eng 1080p","size":265,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/webm-hd/qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/103342","event_url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":3392,"mime_type":"video/webm","language":"eng","filename":"qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-08-13T15:58:33.507+02:00","label":"eng 576p","size":119,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/webm-sd/qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/103343","event_url":"https://api.media.ccc.de/public/events/14a9ced8-f4d3-596b-b90a-41aa9d49614b","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"}]}