In this response I present these of Todd Trimble’s results which are new for me.
Note that I skipped specifically category-theoretic results (such as that the category of endofuncoids is topological). I am going to amend my article with categorical results later.
His commentary is available at this nLab wiki page.
I’ve started to read his notes. First I needed to lookup into Wikipedia to know what Chu space is. He uses category theory however as it now seems to me not very advanced. So I hope to understand his writing in soon time.
Conjecture For every funcoid and filter , :
Conjecture for every reloid .
Today I’ve proved that this bijection preserves composition.
See this note (updated) for the proofs.