cubical icon indicating copy to clipboard operation
cubical copied to clipboard
verified publisher icon agda

generalize levels for some AlgebraHom operations

Open MatthiasHu opened this issue 3 years ago • 0 comments

This PR just generalizes the type signatures of operations like AlgebraHom≡ or _∘≃a_ to algebras of different levels.

MatthiasHu avatar Aug 16 '22 23:08 MatthiasHu