dedekind::category::IsFiberBundle Concept Reference

Signature-level witness for a fiber bundle over a base species. More...

Concept definition

template<typename Bundle>
concept dedekind::category::IsFiberBundle =  requires(Bundle bundle) {
  typename Bundle::TotalSpace;
  typename Bundle::BaseSpace;
  typename Bundle::Fiber;
  typename Bundle::Projection;
 
  requires IsBundleProjection<typename Bundle::Projection,
                              typename Bundle::TotalSpace,
                              typename Bundle::BaseSpace>;
 
  { bundle.projection() } -> std::same_as<typename Bundle::Projection>;
  requires IsBundleProjection<decltype(bundle.projection()),
                              typename Bundle::TotalSpace,
                              typename Bundle::BaseSpace>;
 
  { bundle.trivializes_locally() } -> std::convertible_to<bool>;
}

Detailed Description

Signature-level witness for a fiber bundle over a base species.

This concept checks for the standard structural ingredients:

• Total space E,
• Base space B,
• Fiber species F,
• Projection map π : E -> B,
• Local trivialization witness.

It intentionally verifies API shape only; stronger geometric laws can be layered later.