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.
Is this page really necessary?
This is one of half a dozen new entries that all consider notions of morphisms between categories with a fixed collection of objects.
As I had suggested in discussion of another one of these (here), the sensible thing to do would be to have one single page for category with a fixed collection of objects and then list these various notions of morphsism there.
In fact, as I had also highlighted there, if we think of categories as (special cases of) stacks, then this is the notion of equipping a stack with an atlas, and that’s a basic but important notion also outside of foundations, which would certainly deserve to have its own entry.
(I could make these edits and re-arrangements, but not right now…)
1 to 3 of 3