Polynomials as spans

zbMath1451.18014arXiv1903.03890MaRDI QIDQ5116336

Ross H. Street

Publication date: 24 August 2020

Full work available at URL: https://arxiv.org/abs/1903.03890

zbMATH Keywords

partial mappolynomial functorspanexponentiable morphismcalibrated bicategorypowerful morphismright lifting

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (4)

Span composition using fake pullbacks ⋮ Variation on a comprehensive theme ⋮ On distributivity in higher algebra I: the universal property of bispans ⋮ A diagrammatic approach to symmetric lenses

This page was built for publication: Polynomials as spans