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 $\lim F \circ A$ exists before saying that $F(\lim A)$ 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 4 of 4