圏論から図式を除いても残るものはある?