Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Fernando Lucatelli Nunes, Matthijs Vákár

We study the composite free completion Dist(C) := Fam(Fam(C^op)^op), obtained by first freely adjoining small products and then freely adjoining small coproducts. A natural pseudod…