view wisdom/hom-set @ 11995:4de59c4fd0bd draft

<arseniiv> addquote <shachaf> The domain is public, but what\'s the codomain?
author HackEso <hackeso@esolangs.org>
date Thu, 31 Oct 2019 10:47:36 +0000
parents fa66282af2bf
children c777e2d91031
line wrap: on
line source

Hom-sets are just sets of morphisms between two objects.