7 Persistent Categorical Identification

Coherent stabilization under changing presentations

An online categorical learner should not merely fit every finite prefix. It should retain warranted structure as the presentation grows, revise locally when possible, and give equivalent accounts of equivalent evidence streams. Persistence is therefore a property of an entire execution and its comparison maps, not of the final hypothesis alone.