A personal mathematical wiki — short, atomic entries on definitions, constructions, and intuitions, cross-linked across topics.
This is a personal wiki (beta version) of mathematical knowledge: short entries on definitions, constructions, and intuitions, cross-linked across topics.
Unlike the Notes section — which collects longer, expository write-ups — each wiki entry is meant to be atomic: one concept, one page, read in a few minutes, with explicit links to neighbouring concepts.
The graph view shows how entries connect.
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.
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.
House conventions for this wiki — what ‘category’, ’n-category’, and ‘classical category’ mean here, and the suggested entry structure.
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 κ.
A category in which the suspension functor is an equivalence and finite limits coincide with finite colimits — the natural replacement for triangulated categories.