Showing changes from revision #0 to #1:
Added | Removed | Changed
Remember that when two functions are homotopic we have a witness to
but as discussed in the homotopy article, it is not the case that .
Function extensionality simply assumes this is the case as an axiom.
The axiom of functional extensionality says that for all , there is a function
This allows homotopic functions to be equal.
Revision on October 11, 2018 at 12:59:03 by Ali Caglayan. See the history of this page for a list of all contributions to it.