Higher categorical generalizations of sheaf theory