Loading paper
The hearts of weight structures are the weakly idempotent complete categories | Tomesphere