<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
    <channel>
        <title>Algebraic theories</title>
        <link>https://peertube.wtf/videos/watch/92018d6b-c1bc-46bd-9a29-881f84c2c204</link>
        <description>This is an introductory talk on algebraic theories, which are a categorical way of doing universal algebra. I discuss the history of the topic and give some of the universal algebra background needed to see the motivation for the concept. The talk ends with some comments on the relationship between algebraic theories and monads. This lecture was given in Doug Ravenel's topics course on category theory at the University of Rochester in the Spring 2021 semester. Slides: https://aten.cool/documents/slides/algebraic_theories.pdf</description>
        <lastBuildDate>Tue, 18 Aug 2026 12:30:08 GMT</lastBuildDate>
        <docs>https://validator.w3.org/feed/docs/rss2.html</docs>
        <generator>PeerTube - https://peertube.wtf</generator>
        <image>
            <title>Algebraic theories</title>
            <url>https://peertube.wtf/lazy-static/avatars/45856119-df14-4b5f-bff8-4807ae2cfbd2.png</url>
            <link>https://peertube.wtf/videos/watch/92018d6b-c1bc-46bd-9a29-881f84c2c204</link>
        </image>
        <copyright>All rights reserved, unless otherwise specified in the terms specified at https://peertube.wtf/about and potential licenses granted by each content's rightholder.</copyright>
        <atom:link href="https://peertube.wtf/feeds/video-comments.xml?videoId=92018d6b-c1bc-46bd-9a29-881f84c2c204" rel="self" type="application/rss+xml"/>
    </channel>
</rss>