Initial algebras and terminal coalgebras in many-sorted sets (Q3005994)

From MaRDI portal