libretto.lambda.MappedMorphism
See theMappedMorphism companion object
Image of some morphism A -> B in the target category ->>.
Type parameters
-
->>
-
target category
-
A
-
source of the original morphism in the source category
-
B
-
target of the original morphism in the source category
-
F
-
mapping of objects. F[A, X] is evidence that object A of the source category is mapped to object X of the target category.
Attributes
-
Companion
-
object
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
Members list
Source of the mapped morphism. Object of the target category.
Source of the mapped morphism. Object of the target category.
Attributes
Target of the mapped morphism. Object of the target category.
Target of the mapped morphism. Object of the target category.
Attributes
Evidence that the source FA of the mapped morphism is the image of the source A of the original morphism.
Evidence that the source FA of the mapped morphism is the image of the source A of the original morphism.
Attributes
Evidence that the target FB of the mapped morphism is the image of the target B of the original morphism.
Evidence that the target FB of the mapped morphism is the image of the target B of the original morphism.
Attributes