Non cartesianity in subdistributions

Last updated Jan 30, 2023

Tags: Subdistribution monad