Pages that link to "Item:Q3167013"
From MaRDI portal
The following pages link to Discrete Generalised Polynomial Functors (Q3167013):
Displayed 8 items.
- The universal exponentiable arrow (Q2078410) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- (Q5089004) (← links)
- (Q5875346) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- Differential 2-rigs (Q6150153) (← links)
- Characterizing functions mappable over GADTs (Q6176570) (← links)