Podcast Episodes
Back to Search
Supply Chain Security in the PHP Ecosystem (froscon2026)
Every modern PHP application is built on a foundation of third-party packages, each with its own dependencies and its own trust assumptions. Recent s…
2 months ago
init (froscon2026)
Licensed to the public under http://creativecommons.org/licenses/by/4.0 about this event: https://programm.froscon.org/2026/events/3674.html
2 months ago
Closing/Closure/Completion (qtcat2026)
A closing for QTCat, some closure for myself and maybe a bit about categorical completions. Licensed to the public under https://creativecommons.org/…
2 months ago
Parametrised Representability (qtcat2026)
Often we define functors F where each object F(A) satisfies a universal property; these could be products, limits, colimits, (co)ends, (co)free objec…
2 months ago
Warum löscht ü in vim den ganzen Text? a vim/terminal murder mystery (noname_ev)
Wenn man auf einer englischen Mac-Tastatur versucht, in vim im insert-Modus ein ü einzugeben, dann verschwindet der eingegebene Text. Warum ist das s…
2 months ago
Cats and Types, Side by Side (qtcat2026)
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 …
2 months ago
Coinductive invertibility in higher categories (qtcat2026)
Invertibility is a crucial notion in category theory, providing the correct notion of sameness for objects within a category and equivalences of cate…
2 months ago
The fundamental theorem of deeper algebra (qtcat2026)
Higher algebra is the algebra of (connective) spectra. Deeper algebra is the algebra of (coconnective) categorical spectra. Deeper algebra organizes …
2 months ago
Who cares about codensity monads? (qtcat2026)
Consider the category of groups with its forgetful functor down to Set. This functor is monadic, which tells us that groups are sets equipped with an…
2 months ago
The Road from Circuits to Category Theory (qtcat2026)
String diagrams are often traced back to Richard Penrose's work in mathematical physics, but they also have an early and largely overlooked history i…
2 months ago