Цитата из книги «Методология мышления. Черновик»

Удивительно при этом, что Бадью не замечает, что утверждение, обратное тому, которым пользуется он сам, также является теоремой теории категорий: если нам дан пучок F из некоторой категории порядка Ω в категорию множеств Set, то в категории Set всегда можно указать такое зависящее от F множество AF, которое является полным Ω-множеством.