emsenn

2025-10-15, Reworking GnoponEmacs as a RITM tool

2 min read

Reworking GnoponEmacs as a RITM tool

When considering [[id:edc48bf0-336b-4b63-8505-a3730b328c9d][GnoponEmacs]] as a [[id:0f795c39-f0fc-423f-a0f8-ca370a5750ce][research tool]] for [[id:e12123c1-2796-4058-affd-b786753be972][Relational Infinity-Topos Modality]], I want it to be what lets me, essentially, simulate coKleisli action on my research archive as a relational topology.

Starting at what’s immutable and unique: the :ID: property every Org-roam node has.

We’re going to start with one node, called “node” representing what a node at its most general is in this modality, and so it will have a property, :node-relations:, that works like the following:

Org-roam graph[node-a] has a node-relation property which records in an alist pairs of (graph[node-x] . graph[node-y]) where x and y serve domain and codomain Relational Exit-Infinity Topoi when node-a is used as a Relational Exit-Infinity Topos coKleisli Commandic Functor within a Relational Infinity-Topos Modality such as GnoponEmacs (my Emacs configuration).

From there, we can say any node in the graph has :node-relations: ((graph[instantiates] . graph[node])), at least, with graph[instantiates] having :node-relations: ((graph[function] . [Relational Exit-Infinity Topos coKleisli Commandic Functor]) (domain . Relational Exit-Infinity Topos) (codomain . Relational Exit-Infinity Topos))

We can use the sections from the treatise formalizing the RITM for the objects, and then that gives us those three predicates as essentially our “residual”

Which helps us see that our Treatise, on the way to defining a specific functor, woudl obviously need to define function and functor. We’d clean up residual until every concept in the Treatise is properly integrated into that modality built from :node-relations:

So, our “normal” Org-roam links, just inserting links with [[id:foo][node]], those essentially become one part of this graph, where the domain is always “identifies”

(defun gpe/get-id-from-org-mode-link (link)
  (when (string-match "\\[\\[id:\\([[:alnum:]-]+\\)\\]\\[.*?\\]\\]" link)
    (match-string 1 link)))
(defun gpe/get-node-relations (propval)
  "Convert :node-relations: property string to list of (source predicate target) triples."
  (let* ((pairs (read propval)))
    (cl-loop for (pred . targ) in pairs
             for pid = (ritm--parse-id-link (format "%s" pred))
             for tid = (ritm--parse-id-link (format "%s" targ))
             when (and pid tid)
             collect (list pid tid))))

Graph View