Skip to contents

Unique morphism from initial object

Usage

from_initial(acs)

Arguments

acs

An ACSet

Value

ACSetTransformation from initial(acs@schema)