A logic for categories (Q5200283)
From MaRDI portal
scientific article; zbMATH DE number 5934755
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A logic for categories |
scientific article; zbMATH DE number 5934755 |
Statements
1 August 2011
0 references
enriched category
0 references
Frobenius reciprocity
0 references
logic for categories
0 references
temporal doctrine
0 references
internally enriched hom
0 references
math.CT
0 references
