{"guid":"94cfe0a8-2a7d-58cc-9449-46949bc52126","title":"The fundamental theorem of deeper algebra","subtitle":null,"slug":"qtcat-2026-110773-the-fundamental-theorem-of-deeper-algebra","link":"https://pretalx.c3voc.de/qtcat-2026/talk/9QMSKT/","description":"Higher algebra is the algebra of (connective) spectra. Deeper algebra is the algebra of (coconnective) categorical spectra. Deeper algebra organizes and simplifies many phenomena, from Galois theory to the classification of phases of matter. I will introduce these areas, and I will report on joint work in progress with David Reutter.\n\nLicensed to the public under https://creativecommons.org/licenses/by/4.0/","original_language":"eng","persons":["Theo Johnson-Freyd"],"view_count":84,"promoted":false,"date":"2026-08-12T14:00:00.000+02:00","release_date":"2026-08-12T00:00:00.000+02:00","updated_at":"2026-08-19T16:00:09.415+02:00","tags":["9QMSKT","2026","qtcat2026","R. 221","qtcat2026-eng","Day 1"],"length":4268,"duration":4268,"thumb_url":"https://static.media.ccc.de/media/events/qtcat/2026/110773-94cfe0a8-2a7d-58cc-9449-46949bc52126.jpg","poster_url":"https://static.media.ccc.de/media/events/qtcat/2026/110773-94cfe0a8-2a7d-58cc-9449-46949bc52126_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/qtcat/2026/110773-94cfe0a8-2a7d-58cc-9449-46949bc52126.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/qtcat/2026/110773-94cfe0a8-2a7d-58cc-9449-46949bc52126.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/qtcat-2026-110773-the-fundamental-theorem-of-deeper-algebra","url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_title":"Queer and Trans People in Category Theory 2026","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026","related":[],"recordings":[{"length":4268,"mime_type":"video/mp4","language":"eng","filename":"qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-12T17:31:16.351+02:00","label":"eng 1080p","size":656,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/h264-hd/qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_hd.mp4","url":"https://api.media.ccc.de/public/recordings/103284","event_url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":4268,"mime_type":"audio/opus","language":"eng","filename":"qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2026-08-12T17:33:13.175+02:00","label":"eng","size":38,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/opus/qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_opus.opus","url":"https://api.media.ccc.de/public/recordings/103286","event_url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":4268,"mime_type":"video/mp4","language":"eng","filename":"qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-08-12T17:36:54.538+02:00","label":"eng 576p","size":186,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/h264-sd/qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_sd.mp4","url":"https://api.media.ccc.de/public/recordings/103287","event_url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":4268,"mime_type":"audio/mpeg","language":"eng","filename":"qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2026-08-12T17:37:32.522+02:00","label":"eng","size":65,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/mp3/qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/103288","event_url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":4268,"mime_type":"video/webm;codecs=av01","language":"eng","filename":"qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_av1-hd.webm","state":"new","folder":"av1-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-12T17:53:45.569+02:00","label":"eng 1080p","size":482,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/av1-hd/qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_av1-hd.webm","url":"https://api.media.ccc.de/public/recordings/103294","event_url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":4268,"mime_type":"video/webm","language":"eng","filename":"qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-08-12T18:36:18.438+02:00","label":"eng 1080p","size":631,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/webm-hd/qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/103295","event_url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"},{"length":4268,"mime_type":"video/webm","language":"eng","filename":"qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-08-12T18:40:00.800+02:00","label":"eng 576p","size":178,"recording_url":"https://cdn.media.ccc.de/events/qtcat/2026/webm-sd/qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/103296","event_url":"https://api.media.ccc.de/public/events/94cfe0a8-2a7d-58cc-9449-46949bc52126","conference_url":"https://api.media.ccc.de/public/conferences/qtcat2026"}]}