Space Algebra
.me thinks in spaces.
Not schemas. Not tables. Not object classes.
A space is a region of meaning that can contain other spaces.
Everything else follows from set laws.
Core Rule
A space can contain spaces.
txt
space ⊇ subspace ⊇ subspace ⊇ subspaceExamples:
profileis a spaceprofile.contactis a subspace ofprofilewallet.hiddenis a subspace ofwalletfriends[age > 18]is a selected subspace offriends
In .me, paths are how we navigate nested spaces:
ts
me.profile.name("Abella");
me.profile.contact.email("abella@neurons.me");
me.wallet["_"]("vault-key");
me.wallet.hidden.note("private");Namespace
A namespace is a named space.
Examples:
selfkernelanafamily.photos
In protocol form:
txt
me://self:read/profile
me://kernel:export/snapshot
me://family.photos:read/2026.vacation.coverSo:
namespacenames the spaceselectorstates the operationpathidentifies the subspace
Set View
We can describe a space by the sets that act on it:
A= audience setT= topology setC= capability setP= path / subspace set
These are not different ontologies. They are different views of the same space.
Space Predicates
The common adjectives are just set statements:
- public space: the readable audience is broadly open
- private space: the audience is tightly bounded, often
{self} - shared space: the audience contains more than one principal
- encrypted space: readable membership is enforced cryptographically
- replicated space: the topology has multiple carriers
Examples:
walletmay be a private encrypted spacefamily.photosmay be a shared replicated encrypted spaceprofile.publicmay be a public space
No new noun is required beyond space.
Refinement
More specific spaces are subsets of less specific spaces.
txt
profile.contact.email ⊆ profile.contact ⊆ profile
wallet.hidden ⊆ walletThis same law appears across the system:
- deeper path -> smaller semantic region
- tighter audience -> smaller readable set
- tighter context -> smaller resolution set
- tighter capability -> smaller action set
Encryption As Membership
Encryption does not create a different universe. It creates a stricter readable membership over a space.
Examples:
- a private space may have
A = {self} - a shared encrypted space may have
A = {me ∪ wife}
The topology can be large while the readable audience stays small:
txt
T = {home-daemon, office-daemon, phone}
A = {me, wife}That means the same space may be replicated widely without becoming readable widely.
Why This Matters
This gives .me one ontology instead of many.
.medeclares, creates, and navigates spacescleakerrecords, routes, and transports spacesmonad.aiserves, resolves, and persists spaces
The system stays unified because everything still reduces to:
txt
space inside space inside spaceAnd all of it follows set law.
