pr4xis 0.29.0

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

#[macro_use]
pub mod macros;
pub mod adjunction;
pub mod algebra;
pub mod applicative;
pub mod arrow;
#[allow(clippy::module_inception)]
pub mod category;
pub mod category_theory;
pub mod comonad;
pub mod connection;
pub mod endofunctor;
pub mod entity;
pub mod free;
pub mod functor;
pub mod galois;
pub mod invariants;
pub mod kinds;
pub mod kleisli;
pub mod laws;
pub mod monad;
pub mod monoid;
pub mod monoidal;
pub mod morphism;
pub mod named;
pub mod op;
pub mod optics;
pub mod optics_theory;
pub mod quiver;
pub mod reach;
pub mod reader;
pub mod semigroup;
pub mod state;
pub mod terminal;
pub mod traced;
pub mod transformation;
pub mod transformer;
pub mod yoneda;

pub use adjunction::Adjunction;
pub use algebra::{Algebra, Coalgebra};
pub use applicative::Ap;
pub use arrow::{Arrow, RelationKind};
pub use category::Category;
pub use comonad::{Cofree, Focused};
pub use connection::{
    ConnectionFamily, ConnectionGenerators, extract_adjunction, extract_functor,
    extract_natural_transformation,
};
pub use endofunctor::Endofunctor;
pub use entity::{Concept, ConceptMeta, FinitelyGenerated};
pub use free::Chain;
pub use functor::Functor;
pub use galois::GaloisConnection;
pub use invariants::{FullyConnected, NoDeadStates, TerminalObject};
pub use kinds::{AdjunctionKind, FunctorKind, NatTransKind};
pub use kleisli::KleisliMorphism;
pub use monad::Writer;
pub use monoid::Monoid;
pub use monoidal::{Coproduct, Product};
pub use morphism::{Morphism, compose_all, direct_morphisms};
pub use named::{DomainAxiomatized, NamedCategory};
pub use op::{Op, OpMorphism};
pub use optics::{Iso, Lens, Prism};
#[doc(hidden)]
pub use pr4xis_derive::Concept;
pub use quiver::{FreeCategory, FreeExtension, Path, Quiver, QuiverInterpretation};
pub use reader::Reader;
pub use semigroup::{NonEmpty, Semigroup};
pub use state::State;
pub use terminal::{TerminalFunctor, TerminalTarget};
pub use transformation::NaturalTransformation;
pub use transformer::TracedState;
pub use yoneda::{CoYoneda, Yoneda, YonedaProfile};