Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created isomorphic functors, with some references.
I suggest that you stop creating new pages and seek feedback from regulars first. In particular, we do not generally make pages that are synonyms of other pages. Anything you want to write about natural isomorphisms should go on the page natural isomorphism.
Will do. Would you prefer I incorporate something of that page into natural isomorphism, or just leave it as it is. And, while somewhat regrettable to me, I would understand when isomorphic functors is deleted again.
The term is very frequently used though, and it is likely to frequently people will search this encyclopedia for that particular phrase. I understand that one could cater to that by having the phrase appear within natural transformation, which it presently does not, though only partially so: when using the search option to search for a phrase which does not have a page of its own, the nLab gives a list of all articles containing the phrase, so someone using the encyclopedia then has to consult several pages.
I understand that one could cater to that by having the phrase appear within natural transformation, which it presently does not, though only partially so: when using the search option to search for a phrase which does not have a page of its own, the nLab gives a list of all articles containing the phrase, so someone using the encyclopedia then has to consult several pages.
I think the evident solution which would cover all of this is to merge isomorphic functors into natural transformation. There are instructions for merging at HowTo. I may get around to doing so soon.
I think the evident solution which would cover all of this is to merge isomorphic functors into natural transformation. There are instructions for merging at HowTo. I may get around to doing so soon.
Will take that upon me, and try to get that finished this morning.
Merged isomorphic functors into natural isomorphism, using the HowTo.
1 to 6 of 6