PR #11642: doc(algebra,data/fun_like): small morphism doc...

Stream: triage

[Random Issue Bot]

Today I chose PR 11642 for discussion!

doc(algebra,data/fun_like): small morphism documentation improvements
Created by @Anne Baanen (@Vierkantor) on 2022-01-24
Labels: awaiting-review, merge-conflict, docs

Is this PR still relevant? Any recent updates? Anyone making progress?

[Anne Baanen]

Yaël doesn't want to take this PR over anymore, so I got rid of the big refactor parts and kept only the doc improvements.