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
use super::category::Category;
use super::kinds::FunctorKind;
use crate::ontology::meta::{Citation, Label, ModulePath, OntologyName, Provenance};
/// A functor is a structure-preserving map between two categories.
///
/// Given categories C and D, a functor F: C → D maps:
/// - Objects of C to objects of D
/// - Morphisms of C to morphisms of D
///
/// # Laws
///
/// A valid functor must satisfy:
/// - **Identity preservation**: F(id_A) == id_{F(A)}
/// - **Composition preservation**: F(g∘f) == F(g)∘F(f)
///
/// Use [`crate::category::laws`] to verify these laws.
///
/// # Metadata + kind
///
/// Per Mac Lane (1971) XII.3, a functor is a 1-cell in the 2-category Cat.
/// Its metadata flows through the unified [`Provenance`] shape that
/// every arrow in pr4xis shares, and it carries a [`FunctorKind`] tag
/// (faithful / full / forgetful / free / ...) per the Gruber (1993) /
/// OBO-RO (Smith 2005) principle that every relation is formally-named.
pub trait Functor {
type Source: Category;
type Target: Category;
/// Map an object from the source category to the target category.
fn map_object(obj: &<Self::Source as Category>::Object) -> <Self::Target as Category>::Object;
/// Map a morphism from the source category to the target category.
fn map_morphism(
m: &<Self::Source as Category>::Morphism,
) -> <Self::Target as Category>::Morphism;
/// Classification of this functor (faithful / full / forgetful / etc).
/// Defaults to `Generic`; override in impls where the literature
/// classification is known.
const KIND: FunctorKind = FunctorKind::Generic;
/// Structured metadata — name, citation, module path.
///
/// The default is an **honest placeholder** using `core::any::type_name`
/// and an empty citation — "literature citation not yet declared".
/// Functors declared via `pr4xis::functor!` or with the
/// [`relationship_meta!`](crate::relationship_meta!) helper override it.
fn meta() -> Provenance {
let tn = std::any::type_name::<Self>().to_string();
Provenance {
name: OntologyName::new(tn.clone()),
description: Label::new(tn),
citation: Citation::EMPTY,
module_path: ModulePath::new(module_path!().to_string()),
}
}
}