Re: Composing modifications

Dear Ronnie,

Has anyone formulated a cubical (square?) version of bicategory or higher?

What is that? I know the Barendregt's lambda cube. Is it related? David [For admin and other information see: http://www.mta.ca/~cat-dist/ ]