A recognition fiber is a finite bounded Heyting algebra equipped with a modal closure operator, assigned to each trace in the trace category. Recognition fibers are the primitive “stuff living over traces” in the Quasicrystalline Hypertensor Topos.
Axiom A1 of the QCHTTopos specification defines fiber algebras. Each fiber carries meets, joins, implication, negation, top, and bottom, together with a modal closure operator that interacts with the Heyting structure.