范畴可以被识别为Set上的多项式余单子（polynomial comonad），并且一个函子沿自身的左Kan延展总是构成一个余单子——称为密度余单子（density comonad）。当其载体为多项式时，这个余单子定义了一个范畴。我们提供了一些推广方法，从而通过旧范畴或由单子与余单子间的分布律（distributive law）构造出新范畴。例如，所有Lawvere理论、小范畴的所有积完备化（product completion）以及单纯形反范畴$\Delta^{op}$都可以以此方式得到。另一个例子是从一个多项式余单子构造所谓的选择范畴（selection category），这在某种程度上是对由单子构造Lawvere理论范畴的一种对偶操作；我们将详细讨论这一过程。在此过程中，我们还会看到一些非多项式的余单子的构造。

Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is polynomial. We provide a number of generalizations of this to produce new categories from old, as well as from distributive laws of monads over comonads. For example, all Lawvere theories, all product completions of small categories, and the simplicial indexing category $\Delta^{op}$ arise in this way. Another, seemingly much less well-known, example constructs a so-called selection category from a polynomial comonad in a way that's somehow dual to the construction of a Lawvere theory category from a monad; we'll discuss this in more detail. Along the way, we will see various constructions of non-polynomial comonads as well.