Liking cljdoc? Tell your friends :D
kigen.semigroupoid.enumeration
Enumerating all semigroup(oid)s using relational programming. Semigroupoids are represented as composition tables, a vector of vectors.
Enumerating all semigroup(oid)s using relational programming. Semigroupoids are represented as composition tables, a vector of vectors.
kigen.semigroupoid.homomorphism
Finding all homomorphisms of a semigroupoid into another one by using relational programming. Semigroupoids are represented abstractly, as composition tables, a vector of vectors. For non-composable arrow pairs the corresponding entry is :n.
Finding all homomorphisms of a semigroupoid into another one by using relational programming. Semigroupoids are represented abstractly, as composition tables, a vector of vectors. For non-composable arrow pairs the corresponding entry is :n.
kigen.semigroupoid.transformation
Transformation semigroupoids. :s - source, domain, integer 0..n-1 :t - target, codomain, integer 0..n-1 :m - morphism, map
Transformation semigroupoids. :s - source, domain, integer 0..n-1 :t - target, codomain, integer 0..n-1 :m - morphism, map
kigen.semigroupoid.type
Functions for the type structure of a semigroupoid.
Functions for the type structure of a semigroupoid.
cljdoc builds & hosts documentation for Clojure/Script libraries
Keyboard shortcuts
× close| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |