Title: Extending properties to categories of partial maps