{"guid":"a89250a4-838a-565c-b9f4-a78acae20e60","title":"Cats and Types, Side by Side","subtitle":null,"slug":"qtcat-2026-110774-cats-and-types-side-by-side","link":"https://pretalx.c3voc.de/qtcat-2026/talk/WDTZ3Q/","description":"As a type theorist who hangs out with category theorists, I am always fascinated by what we share and by how we differ. What do some of us fuss over that others just take for granted? I gave a talk at Topos Institute with some observations in this area five years ago. In this talk, I'll look at what has changed, including me, in those five years. In particular, I have experienced the need to have more to say about monoidal structure - juxtaposition - as well as composition. I'll talk about opportunities and obstacles for using appropriate types to work with these cats.\n\nLicensed to the public under https://creativecommons.org/licenses/by/4.0/","original_language":"eng","persons":["Conor Titania Mc Bride"],"view_count":110,"promoted":false,"date":"2026-08-13T14:00:00.000+02:00","release_date":"2026-08-14T00:00:00.000+02:00","updated_at":"2026-08-18T04:15:02.938+02:00","tags":["WDTZ3Q","2026","qtcat2026","R. 221","qtcat2026-eng","Day 2"],"length":3374,"duration":3374,"thumb_url":"https://static.media.ccc.de/media/events/qtcat/2026/110774-a89250a4-838a-565c-b9f4-a78acae20e60.jpg","poster_url":"https://static.media.ccc.de/media/events/qtcat/2026/110774-a89250a4-838a-565c-b9f4-a78acae20e60_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/qtcat/2026/110774-a89250a4-838a-565c-b9f4-a78acae20e60.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/qtcat/2026/110774-a89250a4-838a-565c-b9f4-a78acae20e60.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/qtcat-2026-110774-cats-and-types-side-by-side","url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_title":"Queer and Trans People in Category Theory 2026","conference_url":"https://media.ccc.de/public/conferences/qtcat2026","related":[],"recordings":[{"length":3374,"mime_type":"video/mp4","language":"eng","filename":"qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-14T10:15:41.214+02:00","label":"eng 1080p","size":516,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/h264-hd/qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_hd.mp4","url":"https://media.ccc.de/public/recordings/103344","event_url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_url":"https://media.ccc.de/public/conferences/qtcat2026"},{"length":3374,"mime_type":"audio/mpeg","language":"eng","filename":"qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2026-08-14T10:18:03.393+02:00","label":"eng","size":52,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/mp3/qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_mp3.mp3","url":"https://media.ccc.de/public/recordings/103345","event_url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_url":"https://media.ccc.de/public/conferences/qtcat2026"},{"length":3374,"mime_type":"audio/opus","language":"eng","filename":"qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2026-08-14T10:18:07.314+02:00","label":"eng","size":29,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/opus/qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_opus.opus","url":"https://media.ccc.de/public/recordings/103346","event_url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_url":"https://media.ccc.de/public/conferences/qtcat2026"},{"length":3374,"mime_type":"video/mp4","language":"eng","filename":"qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-08-14T10:20:05.630+02:00","label":"eng 576p","size":155,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/h264-sd/qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_sd.mp4","url":"https://media.ccc.de/public/recordings/103347","event_url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_url":"https://media.ccc.de/public/conferences/qtcat2026"},{"length":3374,"mime_type":"video/webm;codecs=av01","language":"eng","filename":"qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_av1-hd.webm","state":"new","folder":"av1-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-14T10:38:36.951+02:00","label":"eng 1080p","size":285,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/av1-hd/qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_av1-hd.webm","url":"https://media.ccc.de/public/recordings/103348","event_url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_url":"https://media.ccc.de/public/conferences/qtcat2026"},{"length":3374,"mime_type":"video/webm","language":"eng","filename":"qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-14T10:58:10.020+02:00","label":"eng 1080p","size":372,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/webm-hd/qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_webm-hd.webm","url":"https://media.ccc.de/public/recordings/103349","event_url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_url":"https://media.ccc.de/public/conferences/qtcat2026"},{"length":3374,"mime_type":"video/webm","language":"eng","filename":"qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-08-14T11:15:33.846+02:00","label":"eng 576p","size":131,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/webm-sd/qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_webm-sd.webm","url":"https://media.ccc.de/public/recordings/103350","event_url":"https://media.ccc.de/public/events/a89250a4-838a-565c-b9f4-a78acae20e60","conference_url":"https://media.ccc.de/public/conferences/qtcat2026"}]}