Problems with fixpoints of polynomials of polynomials

Cécilia Pradic, Ian Price

Motivated by applications in computable analysis, we study fixpoints of certain endofunctors over categories of containers. More specifically, we focus on fibred endofunctors over…