Search results for “category theory”

Why the definition of a filtered category insists on non-emptiness: the empty colimit fails to commute with the empty limit, and that is the only failure.

A proof of Raynaud's theorem: every finite flat commutative group scheme over a locally noetherian base embeds, Zariski-locally, as a closed subgroup of an abelian scheme.