https://deepai.org/publication/fibrational-initial-algebra-final-coalgebra-coincidence-over-initial-algebras-turning-verification-witnesses-upside-down
05/11/21 - The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results...
initial algebrafinal coalgebracoincidencealgebrasturning