Instead, we simply identify them, that is, treat them as one and the same notion.

Type theory as a foundation source:

Unlike classical mathematics, which is typically built on. A related exploration of Jicaray Leak.pdf has been instrumental in providing context to the discussion presented in this section.