injections-0.1.0.0: Canonical categorical conversions (injections and projections) (Index)

injections-0.1.0.0: Canonical categorical conversions (injections and projections)

Index

inject	Injection
Injection	Injection
project	Projection
Projection	Projection
retract	Injection
Retraction	Injection
Section	Projection
update	Projection