amog.fun
A small category. The objects are games and quick experiments. The morphisms are afternoons, irreversibly spent.
$\Hom(\mathit{Bored},\, \mathit{Amused}) \neq \varnothing$
random word: e · drag to rotate
Objects of Fun
Everything here is small, fast, and a bit rough around the edges. Each object lives at amog.fun/<name>.
The Founder
Amog Magnussen
Amog Magnussen founded amog.fun after spotting that every good afternoon factors through a small, dumb game. His research is in group theory, category theory, and obby.
He is best known for the following result. He is still working on the converse.
\begin{lemma}[Kholonosky]\label{lem:kholonosky} Let $\mathcal{C}$ be a locally presentable $(\infty,1)$-category and $F\colon \widehat{\mathcal{C}} \to \Cat$ a lax monoidal 2-functor out of its free cocompletion. Then $F$ admits a left Kan extension $\operatorname{Lan}_{y}F$ along the Yoneda embedding $y\colon \mathcal{C} \hookrightarrow \widehat{\mathcal{C}}$, unique up to contractible choice, provided the ambient Grothendieck topos has a subobject classifier $\Omega_{\text{lag}}$ for lag. \end{lemma}
- skill ceiling
- 4,219,429+++, a word in the free monoid $\{+\}^{*}$
- thesis
- On the Uniform List Chromatic Number and Effective Palette Compactness, University of Ou
- favourite group
- The Monster group, for obvious reasons
- favourite category
- $\Grp$ on weekdays, $\Set$ on weekends
- erdős number
- Undefined. He only co-authors with people who can clear his obby.
“Every obby is a groupoid if you're brave enough.”A. Magnussen, 2026
The Universal Property
\begin{theorem}[Magnussen, 2026]\label{thm:universal} For every state of boredom $B$ and every route to joy $g\colon B \to \mathit{Joy}$, there is a unique $h\colon \texttt{amog.fun} \to \mathit{Joy}$ such that $$h \circ f = g.$$
In other words, every fun thing factors uniquely through amog.fun.\end{theorem}
\begin{proof}Immediate from \ref{lem:kholonosky} with $\mathcal{C} = \Fun$. Alternatively, pick an object from §1 and play it.\end{proof}