Search results for “computer-science”

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.