Elements in Applied Category Theory compare prices