Algebraic Theory of General Topology
{"type": "project", "title": "Algebraic Theory of General Topology", "logoImg": "bafkreif5kwi775pd673pnccdcjkk7tulvpg7u3x5c3kleoi5gmtunrh4iy", "website": "https://github.com/vporton/agt-combined", "createdAt": 1709214381282, "userGithub": "vporton", "credentials": {"twitter": {"type": ["VerifiableCredential"], "proof": {"jws": "eyJhbGciOiJFZERTQSIsImNyaXQiOlsiYjY0Il0sImI2NCI6ZmFsc2V9..D0_r_PR-JqL9kDo0fwfiqzbo6niditFwpTjj_SwidHW7EXK6VMWsuk_58vLq3yEGUcN_TRiNTHKstxodgp7-Aw", "type": "Ed25519Signature2018", "created": "2024-02-29T13:45:43.259Z", "proofPurpose": "assertionMethod", "verificationMethod": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC#z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC"}, "issuer": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC", "@context": ["https://www.w3.org/2018/credentials/v1"], "issuanceDate": "2024-02-29T13:45:43.259Z", "expirationDate": "2024-05-29T13:45:43.259Z", "credentialSubject": {"id": "did:pkh:eip155:1:0x36A0356d43EE4168ED24EFA1CAe3198708667ac0", "hash": "v0.0.0:10bhB2pSRwmoRbwhXNsD7UkbhBd5AxsrJ/+KSahARRE=", "@context": [{"hash": "https://schema.org/Text", "provider": "https://schema.org/Text"}], "provider": "ClearTextTwitter#victorporton"}}}, "description": "This open research considers in details **_ordered semicategory actions_** (and **_ordered semigroup actions_**).\n\nOrdered semicategory actions take a **place in mathematics** similar to \"place\" (generarity and amount of usage) **of group theory**. Therefore ordered semicategory actions are **as important as group theory** (like **half of world economy**). Contrary to sound sense, ordered semigroup actions (and ordered semicategory actions) were discovered (by the author) only in 2019, not in 19th century.\n\n**All kinds of spaces** met **in general topology**, from locales/frames to metric spaces and everything in between, e.g. as topological spaces and uniform spaces (and, apparently, however yet unchecked, geometric spaces) are **represented as elements of ordered semigroup with an action (\"space-in-general\")**. This allows to study **general topology** in the universal, **most general setting of space-in-general**, namely as properties of ordered semicategory actions.\n\nThe theorems of general topology usually map to **algebraic formulas with ordered semicategory actions**, what **much simplifies usage** (and remembering) of formulas, because they are of an algebraic kind, **not a mess of quantifiers** as in traditional general topology.\n\nSo, called \"funcoids\" and also reloids, that is filters on Cartesian product of two sets, are of special interest and are researched in details. That's because funcoids generalize simultaneously: digraphs, topologies, pretopologies, preclosures, proximity spaces.\n\nAlso, they are researched \"multidimensional\" (including infinite dimensional) analogies of funcoids and reloids (next, should research multidimensional analogs of ordered semicategory actions).\n\nOrdered semicategory actions are currently briefly considered at the end of the book, after their special cases (funcoids, reloids, etc.), because they were discovered when most of the book (about their special cases) has been already written. The book needs to be rewritten to consider ordered semicategory actions in more details, partly replacing the former text about their special cases.\n\nThe book also considers **filters on ordered sets** (and on lattices, powersets, etc.) in more details than any book before it.\n\nThe theory of funcoids (and ordered semicategory actions in general) is also used to describe _discontinuous analysis_, a generalized theory of limits where any function has a (generalized) limit at every point. This indespensibly simplifies physical calculations. This is probably also useful for general relativity and quantum gravity, as well as for economics, to name a few.\n\nThe primary author also created a big number of **open problems** a big part of which have been solved, but there remains quite a few.\n\nThe book about ordered semicategory actions is [freely available](https://math.portonvictor.org/binaries/volume-1.pdf).", "logoImgData": {}, "projectTwitter": "victorporton"}