Free group func­tor is left ad­joint to forgetful

WikiLast edit: 14 Feb 2025 19:07 UTC by arbitalimport
No comments.