?

Log in

No account? Create an account
November 23rd, 2009 - язык, на котором не говорят — LiveJournal [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ tags | journal tags ]

November 23rd, 2009

sketch, конечный предел [Nov. 23rd, 2009|11:29 pm]
beroal
[Tags|]

Возьму пример из «Bagchi, Wells. graph-based logic and sketches» (честно говоря, пока это единственный источник, где я нашёл развёрнутые примеры), «7.2. The sketch Cat for categories». Там они задают три внутренних композиции морфизмов:
  • comp — композиция двух морфизмов;
  • lass — композиция двух морфизмов, стоящих слева в трёхместном кортеже морфизмов;
  • rass — … справа …;

и потом тратят несколько диаграмм, чтобы доказать, что эти композиции по сути одно и то же. Можно ведь взять категорию с конечными пределами и внутренняя композиция там будет одна. Это более практично, если конечно они планировали записывать sketch-и на бумаге, а не генерировать их.
Link3 comments|Leave a comment

navigation
[ viewing | November 23rd, 2009 ]
[ go | Previous Day|Next Day ]