Categories Proof & measurement