package prbnmcn-basic-structures

  1. Overview
  2. Docs
Base package for prbnmcn-* packages

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

  1. I
    Ilias Garnier

Maintainers

  1. I
    igarnier@protonmail.com

Sources

0.0.1.tar.gz
md5=f169865416fdd1804beace6daeba2cb9
sha512=8a78c0572866e6471f8123d702aee42e6abdef6b0b633ab0ea678382a26194a1d79dea9d44ea0cb7b45d77dac25a6706153c3074f7b0aad05ce744fb480d8518

doc/prbnmcn-basic-structures/Basic_structures/Basic_intf/Lang/module-type-Shape/Morphism/index.html

Module Shape.Morphism

Shape morphisms, described as a category.

type 'a obj := 'a t
type ('a, 'b) t

The type of morphisms from a tensor indexed by 'a to a tensor indexed by 'b.

val underlying : ('a, 'b) t -> 'a m -> 'b m

Get the map on positions underlying the shape morphism.

val domain : ('a, 'b) t -> 'a obj

domain m is the domain of the morphism m, ie a tensor indexed by 'a.

val range : ('a, 'b) t -> 'b obj

range m is the range of the morphism m, ie a tensor indexed by 'b.

val identity : 'a obj -> ('a, 'a) t

identity s is the identity morphism at the shape s.

val compose : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t

compose is sequential morphism composition.