For concatenation:
of lists see at free monoid
of edges or paths see at path category.
Created on May 29, 2022 at 07:58:56. See the history of this page for a list of all contributions to it.