coequalizer_universal

open_hypergraphs::finite_function::arrow

Function coequalizer_universal 

Source 
pub fn coequalizer_universal<K: ArrayKind, T>(
    q: &FiniteFunction<K>,
    f: &K::Type<T>,
) -> Option<K::Type<T>>
where
    K::Type<T>: Array<K, T> + PartialEq,
Expand description

Compute the universal map for a coequalizer q : B → Q and arrow f : B → T, generalised to the case where T is an arbitrary set (i.e., f is an array of T)