26 Apr
1994
26 Apr
'94
10:57 p.m.
hadn't heard of that one but there is a notion of principal fibration in alg top/homotopy theory the based path space with loop space as fibre is the stereotypical example jim