object · OBJ-COMP-GRPD
Certified Comparison Groupoid
source-verified profunctor groupoid transport
Overview
For an admitted base passage f, the groupoid of source-certified full-package physical comparisons from X to candidate destination Y over f.
Archive note
This page is generated from the typed archive record. See the source manuscript and related entries for the full argument and its scope.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.
Points to
No source-verified relations recorded yet.