Definition 1.9 [0149]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Definition 1.9
Let be a well-behaved -fibration, . We say the fibre is of type if , .