The Category of sets and partial functions between them denoted by