dedekind::category::detail::topo_bundle_witness Struct Reference

Public Types
using	TotalSpace = std::pair<int, int>
using	BaseSpace = int
using	Fiber = int
using	Projection = topo_projection_arrow

Public Member Functions
constexpr Projection	projection () const
constexpr bool	trivializes_locally () const

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/topoi.cppm