(-2)Lab A formal reference for the illustrious study of (-2)-category theory! This project is inspired by the equally fantastic previous work on the 1Lab and nLab projects; you should go check those out, too!