Carrier A is the terminal F-coalgebra for endofunctor F with structure map α. More...

Concept definition

template<typename F, typename A, typename α>
concept dedekind::category::IsTerminalFCoalgebra = 
    IsFCoalgebra<A, α, F> && is_terminal_f_coalgebra_v<F, A, α>

Detailed Description

Carrier A is the terminal F-coalgebra for endofunctor F with structure map α.

Dual to IsInitialFAlgebra. The anamorphism ana(β) : B → A for any F-coalgebra (B, β) is the unique morphism guaranteed by terminality.