Category-theoretical Semantics of the Description Logic ALC