What is a Categorical Model of Arrows? (Q5166619)
From MaRDI portal
scientific article; zbMATH DE number 6309382
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | What is a Categorical Model of Arrows? |
scientific article; zbMATH DE number 6309382 |
Statements
What is a Categorical Model of Arrows? (English)
0 references
27 June 2014
0 references
Hughes arrows
0 references
Freyd categories
0 references
