Families parametrized by coalgebras (Q1820859)

The notion of coalgebra is formally dual to that of algebra. This makes arguments in terms of elements unfamiliar for coalgebras. The duality between algebra and geometry suggests that the intuition for coalgebras should be geometric rather than algebraic. This is reinforced by the fact that the category of coalgebras is Cartesian closed as has been exploited by J. Beck, M. Barr and T. Fox [\textit{T. F. Fox}, Commun. Algebra 9, 223- 234 (1981; Zbl 0472.18007)]. The authors develop the theory of structures parametrized [that is, ''indexed'' in the sense of \textit{R. Paré and \textit{D. Schumacher}}, Lect. Notes Math. 661, 1-125 (1978; Zbl 0389.18002)] by coalgebras. This provides a machine for translating set-theoretic results into the coalgebra context to yield new interpretations.