Finish lax comma categories?