quiver

A graphical editor for commutative diagrams that exports to tikz-cd.

Features

• An intuitive graphical interface for creating and modifying commutative diagrams.
• Support for objects, morphisms, natural transformations.
• tikz-cd (LaTeX) export.
• Shareable links.
• Smart label alignment and edge offset.
• Parallel (shifted) arrows.
• Arrow styles, including:
  • Dashed and dotted edges.
  • Maps to arrows.
  • Monomorphisms and epimorphisms.
  • Inclusions.
  • Pullbacks and pushouts.
  • Adjunctions.
  • Equality.
  • Harpoons.
  • Squiggly arrows.
• Multiple selection.
• A history system with undo and redo.
• Panning.

Screenshots

The interface:

Parallel arrows:

Natural transformations:

Adjunctions: