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.
added pointer to:
removed the following ancient query box discussion:
+–{.query} Left I could understand, but right? —Toby
The way I rewrote it explains it. It is unfortunate that the Eilenberg-Watts theorem treated in Bass was using only right adjoint functors so later they dropped word right. – Zoran
Thanks. —Toby =–
I’ve done some reorganization, phrasing limit preservation in terms of universal cones (so that we don’t have to stipulate that exists before saying that is going to fulfill that role anyway), and also laying out how the definition is modified when working with enriched category theory and weighted limits.
I can’t tell if someone else has been doing edits while I’ve been doing edits, but anyway I put the Examples section before the section on preservation of limits in enriched category theory, because the example of representable functor serves as a good lead-in for the discussion for enriched category theory.
1 to 5 of 5