“…In this section, we recall from [CD12, DM15] that any monoidal algebraic realization is automatically equipped with some formal structures of a Weil cohomology, such as Poincaré duality and a formalism of Chern classes. For such structures on Hyodo-Kato cohomology, see also [NN16, Section 5], [EY20], [LP16]. Definition 3.15.…”