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

Index

injectInjection
InjectionInjection
projectProjection
ProjectionProjection
retractInjection
RetractionInjection
SectionProjection
updateProjection