Algebraic category