<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Category Theory | Leon Vatthauer</title><link>https://reijix.github.io/tag/category-theory/</link><atom:link href="https://reijix.github.io/tag/category-theory/index.xml" rel="self" type="application/rss+xml"/><description>Category Theory</description><generator>Hugo Blox Builder (https://hugoblox.com)</generator><language>en-us</language><lastBuildDate>Fri, 05 Apr 2024 00:00:00 +0000</lastBuildDate><image><url>https://reijix.github.io/media/icon_hub45ac0acaff69694aef2f0c7d11308e1_2219_512x512_fill_lanczos_center_3.png</url><title>Category Theory</title><link>https://reijix.github.io/tag/category-theory/</link></image><item><title>Summary of "Algebra of Programming"</title><link>https://reijix.github.io/projects/algprog/</link><pubDate>Fri, 05 Apr 2024 00:00:00 +0000</pubDate><guid>https://reijix.github.io/projects/algprog/</guid><description/></item><item><title>Implementing Categorical Notions of Partiality and Delay in Agda</title><link>https://reijix.github.io/projects/ba/</link><pubDate>Thu, 21 Mar 2024 00:00:00 +0000</pubDate><guid>https://reijix.github.io/projects/ba/</guid><description/></item></channel></rss>