знать бы и мне это ... ) скелет это то что остается от категории после забывающего функтора?
а еще там вот что пишут (просто понравилось):
Central to the latter undertaking is the Yoneda lemma, which support an indirect mode of reasoning. Because of its central importance it also appears in every textbook on category theory, [5, 16] being no exceptions. Unfortunately, often only the abstract result is presented, leaving readers unenlightened and depriving them of a powerful reasoning tool. We have hinted at another link to computing science: continuation-passing style.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2020-05-12 06:12 am (UTC)а еще там вот что пишут (просто понравилось):
Central to the latter undertaking is the Yoneda lemma, which
support an indirect mode of reasoning. Because of its central importance
it also appears in every textbook on category theory, [5, 16]
being no exceptions. Unfortunately, often only the abstract result is
presented, leaving readers unenlightened and depriving them of a
powerful reasoning tool. We have hinted at another link to computing
science: continuation-passing style.