Other presentations

  1. Horn coequations

    We give a brief summary of the Horn variety, quasivariety and Birkhoff variety theorems (using the H, S, P and P+ closure operators) for categories of algebras for an endofunctor and dualize these results to yield formally dual theorems for categories of coalgebras. While the notions of coequations and conditional …

    read more

Page 1 / 1

hosted by