LM 004 / Formal-basis paper / COVER ARTWORK
Identity & Reference
The square is a commuting quotient diagram: carrier transport above, induced quotient transport below, and reader classes on the vertical sides. The chosen reference r is fixed below.
LM 004 / Formal-basis paper / COVER ARTWORK
The square is a commuting quotient diagram: carrier transport above, induced quotient transport below, and reader classes on the vertical sides. The chosen reference r is fixed below.