deep_causality_topology 0.6.0

Topological data structures for the DeepCausality project
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

/*
 * SPDX-License-Identifier: MIT
 * Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
 */

//! HKT3 witness and trait implementations for GaugeField.
//!
//! This module provides Promonad and ParametricMonad implementations for GaugeField,
//! enabling current-field coupling and gauge transformation operations.
//!
//! # Architectural Note
//!
//! GaugeField<G, A, F> has a non-uniform constraint: G must implement GaugeGroup,
//! while A and F can be any type. The standard HKT3Unbound trait expects a single
//! uniform constraint for all three type parameters.
//!
//! We work around this by:
//! 1. Implementing HKT3Unbound with NoConstraint (allowing any types)
//! 2. Providing type-safe operations through specialized methods
//! 3. Using concrete GaugeField operations that enforce G: GaugeGroup at call sites

pub mod hkt_adjunction_stokes;
pub mod hkt_curvature;
pub mod hkt_gauge_witness;
pub mod hkt_lattice_gauge;