Higher Algebra abstract and linear



666p.