* Another variation on the topic of homotopy
@ 2018-03-01 16:22 Victor Porton
0 siblings, 0 replies; only message in thread
From: Victor Porton @ 2018-03-01 16:22 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 1487 bytes --]
I 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. (Consider
such things as a plane without a point and an infinitely short path around
this point, yet to be formulated precisely.) This "generalized path" is a
mapping from [0;1] to ultrafilters (with certain restriction these
ultrafilters conform to).
This way we may get another HoTT possibly not equivalent to the “main”
HoTT. Moreover, we may probably construct several non-equivalent theories
(needs careful consideration).
I have not yet formulated this precisely, but call you as soon as the rough
idea appeared, so that you become able for example learn my theory of
funcoids and start to ponder about my idea. I am going to write again when
this will be formulated exactly. But you are free to join my research and
race with me who will first have enough time to formulate this in details.
This idea uses theory of funcoids
<http://www.mathematics21.org/algebraic-general-topology.html> (discovered
by me). By the way, please consider to nominate me for Breakthrough Prize
for discovery (and thorough research) of the concept of funcoid. I need
money. (Not three millions, I would probably donate two of them to some
charity.)
Disclaimer: I am in no way an expert in homotopy and HoTT. But this my idea
is probably great.
[-- Attachment #1.2: Type: text/html, Size: 1730 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-03-01 16:22 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-03-01 16:22 Another variation on the topic of homotopy Victor Porton
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).