Skip to contents

Functor between finite categories (schema morphism)

Source: R/fincat.R
FinFunctor.Rd

Functor between finite categories (schema morphism)

Usage

FinFunctor(ob_map = list(), hom_map = list(), dom = FinCat(), codom = FinCat())

Arguments

ob_map

Named list mapping domain objects to codomain objects

hom_map

Named list mapping domain morphisms to codomain morphisms

dom

Domain FinCat

codom

Codomain FinCat

Examples

cat_g <- FinCat(schema = SchGraph)
F <- FinFunctor(
  ob_map = list(V = "V", E = "E"),
  hom_map = list(src = "src", tgt = "tgt"),
  dom = cat_g, codom = cat_g
)
F@ob_map$V # "V"
#> [1] "V"