Open Grounded theory and a finite colimit →
There, you choose which incidents must share a code. The app computes the resulting classes and checks whether a proposed coding respects those choices. It does not infer meaning or discover a theory.
It illustrates a progression from incidents to groups to a drawn “Core”. Comparisons and groups are chosen at random; the Core appears because you advance the phase. These are visual choices, not results inferred from data.
Try the difference: press Next Phase twice without adding a comparison. The Core still appears. The current finite example keeps unlinked incidents in separate classes.
The earlier title, “Grounded Theory as a Colimit & Initial Algebra”, overstated what was computed. This animation does not compute the claimed colimit or define an initial algebra, and it cannot establish theoretical saturation or say how future incidents must fit. The set-colimit construction is explained and implemented in the linked finite example.
The animation below is temporary: changes last until reset or reload. These controls do not save or upload your work.