REU 2022

An REU project aimed at studying model structures for Lawvere metric spaces.