| ID | 2d6cceef-15ac-4d87-be99-8a960aead3fb |
|---|---|
| DeertopiaVisibility | public |
Comma category
In category theory, the comma category is a construction of two functors that "reifies" morphisms into objects, similarly to the arrow category.
| ID | 2d6cceef-15ac-4d87-be99-8a960aead3fb |
|---|---|
| DeertopiaVisibility | public |
In category theory, the comma category is a construction of two functors that "reifies" morphisms into objects, similarly to the arrow category.