categoryTheoryDefinition
2
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Cokernel | A cokernel is a universal morphism from the codomain of a morphism to an object such that the composition is zero. |
| gptkb:Fibrations | A functor with a certain lifting property for morphisms. |