Revision as of 14:12, 24 October 2016 edit 178.197.234.69 (talk) →Shall we not avoid to talk about "Category of semi-groups" or "Category of non-empty Sets": new section ← Previous edit		Revision as of 14:12, 24 October 2016 edit undo SineBot (talk \| contribs) Bots 2,564,871 edits m Signing comment by 178.197.234.69 - "→Shall we not avoid to talk about "Category of semi-groups" or "Category of non-empty Sets": new section" Next edit →
Line 21: The formal definition of a category implies the existence of an identity arrow for each object. Because semi-groups do not have an identity element, I guess we should not call them "category of semigroups". Shall we not call them "questionable category of semigroups" or something in that spirit? <!-- Template:Unsigned IP --><small class="autosigned">— Preceding [[Wikipedia:Signatures\|unsigned]] comment added by [[Special:Contributions/178.197.234.69\|178.197.234.69]] ([[User talk:178.197.234.69#top\|talk]]) 14:12, 24 October 2016 (UTC)</small> <!--Autosigned by SineBot-->

Talk:Initial and terminal objects: Difference between revisions