Thickening of a finite function

Last updated Sep 8, 2023

• Categorical Logic (Shulman, 2016).