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.
There seems to have remained a typo in the definition (here) of the strong/fine/final topology (probably induced from copy-and-pasting the previous definition of the weak/coarse/initial topology and not adjusting appropriately at all instances): It had the intersection instead of the union of all candidate topologies. I have fixed it (I believe) and have created separate subsections for the two notions.
1 to 1 of 1