Showing changes from revision #1 to #2:
Added | Removed | Changed
I (Victor Porton) have the following (very preliminary) idea:
Replace “path” in the definition of homotopy with “monovalued funcoid with domain [0;1]”. It enables things like infinitely short paths. This way we may get another HoTT possibly not equivalent to the “main” HoTT.
This A idea uses theory functor of funcoids (discovered by me). is faithful if for all , the function
is injective?, and full if for all this function is surjective?. If it is both then is fully faithful
Category theory functor equivalence of precategories
Revision on September 14, 2018 at 16:00:07 by Ali Caglayan. See the history of this page for a list of all contributions to it.