?

Log in

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

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

November 13th, 2009

Makkai's FOLDS, sketch [Nov. 13th, 2009|01:54 am]
beroal
[Tags|]

У меня есть следующие источники по скетчам. Насколько они совпадают?
  • Bastiani, Ehresmann. categories of sketched structures
  • Barr, Wells. toposes, triples and theories. 4. theories
  • Makkai. generalized sketches as a framework for completeness theorems
  • Johnstone. sketches of an elephant, a topos theory compendium. volume 2. D2. sketches

Почитал я немного о first-order logic with dependent sorts. Только там нет равенства морфизмов. Непонятно, как написать, например, что композиция морфизмов уникальна.
Link1 comment|Leave a comment

navigation
[ viewing | November 13th, 2009 ]
[ go | Previous Day|Next Day ]