I have heard that in the Grothendieck school there has developed a notion of "principal fibration" which should generalize the notion of principal bundle ! Please, could anyone give me a reference ! Thomas Streicher
I do not remember the notion in Grothendieck's work, but the term princial fibration was extensively used with simplicial sets. the theory is very pretty and can be found in the survey by Curtis in Adv. in Maths. 6 (1971) 107 - 209. Given the close connections between Simplicial sets and category theory this may provide a solution to your problem. Tim Porter mas013@uk.ac.bangor
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
participants (3)
-
James Stasheff -
MAS013@bangor.ac.uk -
Thomas Streicher