“…Towards a common study of totality and cototality. Recently, 'cototal ideals,' that is, total ideals together with infinities like ∞ at type N, have been used to model stream-like objects at base types arising from initial algebras, offering an alternative to versions of semantics simultaneously based on initial algebras and final coalgebras (Rutten 2000;Hancock et al 2009;Ghani et al 2009); for this line of work, rooted in Berger (2009Berger ( , 2011 and Berger and Seisenberger (2012), see Berger et al (2011Berger et al ( , 2016, Schwichtenberg et al (2012), Miyamoto et al (2013) and Miyamoto and Schwichtenberg (2015). In view of the mismatch between transitivity and totality in a nonflat setting, which we described in Section 5.2, it looks like a refinement is possible, where totality should feature an increased degree of finiteness and should be studied hand in hand with an appropriate notion of cototality: beside more or less obvious differences of the two at base types (based on the proof of Lemma 5.13, for example, one could expect continuous 'cototalisations' to exist), their interplay at higher types remains terra incognita at the time of this writing.…”