<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Wiki on Ou Liu</title><link>https://ou-liu-red-sugar.github.io/wiki/</link><description>Recent content in Wiki on Ou Liu</description><generator>Hugo -- 0.146.0</generator><language>en-us</language><lastBuildDate>Sat, 25 Apr 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://ou-liu-red-sugar.github.io/wiki/index.xml" rel="self" type="application/rss+xml"/><item><title>Compactly assembled category</title><link>https://ou-liu-red-sugar.github.io/wiki/compactly-assembled-category/</link><pubDate>Sat, 25 Apr 2026 00:00:00 +0000</pubDate><guid>https://ou-liu-red-sugar.github.io/wiki/compactly-assembled-category/</guid><description>A presentable category that is a retract in Pr^L of a compactly generated one. In the stable setting, equivalent to being dualizable in Pr^L_st.</description></item><item><title>Compactly generated category</title><link>https://ou-liu-red-sugar.github.io/wiki/compactly-generated-category/</link><pubDate>Sat, 25 Apr 2026 00:00:00 +0000</pubDate><guid>https://ou-liu-red-sugar.github.io/wiki/compactly-generated-category/</guid><description>A presentable category that is generated under filtered colimits by its compact (i.e. ℵ₀-compact) objects. Equivalently, the Ind-completion of a small idempotent-complete category with finite colimits.</description></item><item><title>Conventions</title><link>https://ou-liu-red-sugar.github.io/wiki/conventions/</link><pubDate>Sat, 25 Apr 2026 00:00:00 +0000</pubDate><guid>https://ou-liu-red-sugar.github.io/wiki/conventions/</guid><description>House conventions for this wiki — what &amp;#39;category&amp;#39;, &amp;#39;n-category&amp;#39;, and &amp;#39;classical category&amp;#39; mean here, and the suggested entry structure.</description></item><item><title>Presentable category</title><link>https://ou-liu-red-sugar.github.io/wiki/presentable-category/</link><pubDate>Sat, 25 Apr 2026 00:00:00 +0000</pubDate><guid>https://ou-liu-red-sugar.github.io/wiki/presentable-category/</guid><description>An (∞,1)-category that admits all small colimits and is generated under colimits by an essentially small set of κ-compact objects for some regular cardinal κ.</description></item><item><title>Stable category</title><link>https://ou-liu-red-sugar.github.io/wiki/stable-category/</link><pubDate>Sat, 25 Apr 2026 00:00:00 +0000</pubDate><guid>https://ou-liu-red-sugar.github.io/wiki/stable-category/</guid><description>A category in which the suspension functor is an equivalence and finite limits coincide with finite colimits — the natural replacement for triangulated categories.</description></item><item><title>Graph view</title><link>https://ou-liu-red-sugar.github.io/wiki/graph/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ou-liu-red-sugar.github.io/wiki/graph/</guid><description>A force-directed graph of all wiki entries and their cross-references.</description></item></channel></rss>