Random triples
| Subject | Object |
|---|---|
| gptkb:pullback_(category_theory) | for any object mapping to both objects in the diagram, there is a unique morphism to the pullback |
| gptkb:Pullback_(category_theory) | For any object mapping to both sources, there is a unique morphism to the pullback |
| gptkb:Coproduct_(category_theory) | For any family of objects, morphisms from each object factor uniquely through the coproduct |