MathDB1 problem
- 0 votes0 replies0 views
The enriched generalisation conjecture for dinatural type theory
Enriched generalisation conjecture. Our analysis of dinaturals can be developed in more generality by taking enriched categories over a sufficiently structured base of enrichment a…