Pages that link to "Item:Q3167013"
From MaRDI portal
The following pages link to Discrete Generalised Polynomial Functors (Q3167013):
Displaying 10 items.
- A generalization of the Dress construction for a Tambara functor, and its relation to polynomial Tambara functors (Q1941150) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- (Q5089004) (← links)
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors (Q5149951) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- Differential 2-rigs (Q6150153) (← links)