しましま
SSR なめるぽん on Twitter: "そういえばしまぱんって圏になってるんじゃない?ぱんつを対象として、青と白のラインを射として、域は渡された射をそのまま返して余域は渡された射では無い方の射を返す。"、"青"と"白"と"ε"だけの圏 - melpon日記 - HaskellもC++もまともに扱えないへたれのページがもうちょっとで圏になりそうな件。
対象: "青"か"白"かε 射: "青"と"白"と"ε"で作られるしましま。 域: 最初が"青"の場合は"青" 最初が"白"の場合は"白" 最初が"ε"の場合は"ε" 余域: 最後が"青"の場合は"白" 最後が"白"の場合は"青" 最後が"ε"の場合は"ε" 恒等射: ε 結合: 青白青白青白青白・・・のしましま。
で、たとえば余域と恒等射を
余域: 最後が"青"の場合は"青" 最後が"白"の場合は"白" 最後が"ε"の場合は"ε" 恒等射: id(ε) = "ε" id(青) = "青" id(白) = "白" 結合: …ε;ε… = …ε… …青;青… = …青… …白;白… = …白…
と変更すれば圏になってる。
…気づいたら3文字だけのしりとり圏でした。しりとり脳。