Tags #higher-algebra Refs: Proof: https://www.imo.universite-paris-saclay.fr/~brantner/Spring22L1.pdf Links: #todo/create-links Barr-Beck
