Re: categorical prelude