emsenn.net on relations and things

About this site

This is a personal library and digital garden.

It contains terms, texts, and letters organized by domain. Content grows and changes as research continues.
Its content was written by hand.

This means there might be mistakes, and some pages are more complete than others.
This site was built as a public asset.

Content is licensed CC BY-SA 4.0. If you find it useful, consider supporting the work on Ko-fi.

A positional frontmatter relation giving the base object t such that the subject equals F(t), where F is named by the paired fiber-of: field. Always appears paired with fiber-of:.

base

What this is

base is the companion field to fiber-of:. Together they assert E = F(t): the subject entity E is the fiber of functor F (named by fiber-of:) at base object t (named by base:).

The two fields are inseparable. base: without fiber-of: is meaningless — t is only meaningful as the base of a specific functor evaluation.

Valid values

The value of base: is the id of a math entity that plays the role of t — the base object at which the functor is evaluated. Common values:

A specific history t (kebab-case id of a history entity)
relational-history-site — for global sections (coarsest fiber)
A universe-object id

Open questions

Whether base: should require the base entity to itself carry defines:.

Relations

Ast
Base object: Relational history
Component of: Flatfile agential resource system
Date modified: 2026-03-19
Defines: Base
Extends: Relation
Functor: Relational universe morphism
Output: Relational universe