The categorical theory generated by a limit sketch