Consider funcoid (restricted identity funcoids on Frechet filter on some infinite set).
Naturally (where is the identity morphism).
But it also holds (where is the identity morphism). This result is not hard to prove but quite counter-intuitive (that is is a paradox).
I think that we should find modified (let’s denote it ) such that but .
Currently I cannot formulate this problem exactly (what is ?) but I think (if you read my book) you can understand what I want.