Určíme všechny přirozené operátory převádějící obecné konexe prvního řádu na semiholonomní konexe druhého řádu. K tomu použijeme takzvané Ehresmannovo prodloužení obecné konexe. (cs)
We determine all natural operators transforming first order general connections into second order semiholonomic connections. We essentially use the so called Ehresmann prolongation of a connection.
We determine all natural operators transforming first order general connections into second order semiholonomic connections. We essentially use the so called Ehresmann prolongation of a connection. (en)