Skip to contents

The futumorphism, categorical dual of the histomorphism

Usage

futu(coalg, a)

Arguments

coalg

A coalgebra

expr

A terminal expression