GFRTU Glossary

Trace site

A small category with a Grothendieck topology that indexes traces and their refinements.

A finite Heyting algebra attached to each trace, equipped with stabilizer and drift maps.

An idempotent, monotone endomorphism on a fiber representing stable recognitions.

A monotone endomorphism that moves recognitions along a temporal or dynamical axis.

The subset of a fiber fixed by both stabilizer and drift.

Recognition Term Language, the syntax interpreted in the sheaf topos.

The sheaf topos on the trace site, where recognitions assemble as sheaves.

The generative closure operator on objects of the sheaf universe.

A local universe produced by restricting the trace site to a subcategory.

A finite record of an interaction or process.

A specification of covering families.

Local recognition structure at a trace.