27 Feb
2010
27 Feb
'10
2:49 p.m.
Dear all, I am reading Basic Bicategories by Tom Leinster, and I have basic questions about modifications. 1) Suppose that n, n', m and m' are transformations such that m * n and m' * n' are well defined, where * denotes horizontal (= Godement) composition of transformations.
From given modifications a:m-->m' and b:n-->n' is there a way to derive a modification from m * n to m' * n' ?
2) There are two ways to compose transformations: vertical and horizontal. What are the ways to compose modifications? Thanks for your help, David [For admin and other information see: http://www.mta.ca/~cat-dist/ ]