Doubling bialgebras of finite topologies (Q2046843)

The species of finite topological spaces admit a bimonoid structure together with a compatible internal coproduct, recently defined in [\textit{F. Fauvet} et al., Ann. Inst. Fourier 67, No. 3, 911--945 (2017; Zbl 1431.16036)]. In the present paper, the authors define a doubling of this species. The procedure of doubling has its origin in the Connes-Kreimer Hopf-algebraic interpretation of the Bogoliubov-Parasiuk-Hepp-Zimmermann renormalization procedure in the quantum field theory.