► Server maintenance is scheduled on 14.10.24 from 07:00 to 09:00
F seems to be the canonical name for the functor of an F-coalgebra.