Quiver – Moderner Editor für kommutative Diagramme

• quiver ist ein moderner Grafikeditor, ein Werkzeug für kommutative und Paste-Diagramme

• Rendert hochwertige Diagramme zur Ansicht auf dem Bildschirm und kann nach LaTeX exportieren

• Diagramme lassen sich damit viel schneller erstellen und bearbeiten als durch manuelles Schreiben von LaTeX; mit etwas Erfahrung kann es sogar mit handgezeichneten Diagrammen konkurrieren.

• Funktionen und Screenshots

  • quiver bietet eine effiziente und intuitive Oberfläche zum Erstellen komplexer kommutativer Diagramme und Paste-Diagramme. Diagramme mit Pullbacks und Pushouts, Verklebungen und höherdimensionalen Zellen lassen sich leicht zeichnen. Die Platzierung der Objekte basiert auf einem flexiblen Raster, das sich an die Größe der Labels anpasst. Es stehen verschiedene kombinierbare Pfeilstile sowie Farben für Labels und Pfeile zur Verfügung.

  • quiver wurde so gestaltet, dass es auf Screenshots gut aussieht, und kann in LaTeX exportieren, das dem ursprünglichen Diagramm so ähnlich wie möglich sieht. Diagramme lassen sich per Mausklick und Drag-and-drop oder per Tastatur erstellen und bearbeiten; dafür gibt es ein vollständiges Set an Tastenkürzeln, mit dem sich alle Aktionen ausführen lassen.

  • Beim Export von Diagrammen nach LaTeX fügt quiver einen Link zum Diagramm hinzu, damit es später bearbeitet oder mit anderen geteilt werden kann.

  • Weitere Funktionen

    • Mehrfachauswahl für einfache Massenänderungen
    • Verlaufssystem zum Rückgängigmachen/Wiederholen von Aktionen
    • Unterstützung für benutzerdefinierte Makrodefinitionen: URL einer Datei mit \newcommand einfügen
    • Export von in HTML einbettbaren Diagrammen
    • Schwenk- und Zoom-Funktionen für große Diagramme
    • Intelligente Label-Ausrichtung und Kantenversatz

• Import von Makros und Farben

  • Um benutzerdefinierte Makros und Farben in quiver zu verwenden, muss eine Datei mit Definitionen wie den folgenden erstellt werden.

    \newcommand{\cat}{\mathscr}  
    \newcommand{\psh}{\widehat}  
    \newcommand{\smcat}{\mathbb}  
    \newcommand{\yo}{よ}  
    

  • Die Datei unter einer öffentlich zugänglichen URL hochladen und diese URL in das Eingabefeld „Makros“ von quiver einfügen. Derzeit können Makros mit \newcommand, \newcommand*, \renewcommand, \renewcommand*, \DeclareMathOperator, \DeclareMathOperator* definiert werden; Farben lassen sich mit \definecolor definieren (unter Verwendung der Farbmodi rgb, RGB, HTML, gray).

• Editor-Integration

  • Informationen zur Editor-Integration finden sich im quiver-Wiki.

• Build

  • make in der Kommandozeile ausführen und anschließend src/index.html im Webbrowser öffnen. Falls das fehlschlägt, wird möglicherweise eine inkompatible Version von Make oder Bash verwendet. In diesem Fall muss die neueste KaTeX-Version manuell heruntergeladen und als src/KaTeX/ in src/ abgelegt werden. Wenn der KaTeX-Pfad nicht korrekt ist, tritt ein Fehler beim Laden von KaTeX auf.

  • quiver muss über localhost ausgeführt werden. Falls Python installiert ist, lässt sich das einfach mit folgendem Befehl lösen:

    python3 -m http.server  
    

  • Dies im Verzeichnis src von quiver ausführen und dann im Browser localhost:8000 öffnen. Falls es Probleme beim Build gibt, kann ein Issue mit einer detaillierten Problembeschreibung eröffnet werden, um Hilfe zu erhalten.

• Danksagung

  • S. C. Steenkamp: hilfreiche Diskussionen über das ästhetische Rendering von Pfeilen
  • AndréC: Bereitstellung eines benutzerdefinierten TikZ-Stils für Kurven mit fester Höhe
  • Nathan Corbyn: Hinzufügen der Exportfunktion für in HTML einbettbare Diagramme
  • Paolo Brasolin: Hinzufügen von Offline-Unterstützung
  • Carl Davidson: Diskussionen und Prototypen zum Rendering von Schleifen
  • alle Melder von Problemen und Vorschläge für Verbesserungen, die zu quiver beigetragen haben

[GN⁺]

Hacker-News-Kommentare

• Dieses Tool ist großartig; ich konnte den Fourier-Poisson-Würfel in etwa 10 Minuten erstellen. Die UI ist sehr intuitiv.

  • Dass es sich auf kommutative Diagramme statt auf eine freie Zeichenfläche konzentriert, ist eine hervorragende Designentscheidung, die es sauber und einfach nutzbar macht.
  • Hätte ich dieses Tool beim Schreiben von Papers gehabt, hätte es mir viel Zeit gespart.

• Kürzlich war ich sehr beeindruckt vom Petri-net editor.

  • Ein Petrinetz ist in etwa so, als könnte eine endliche Zustandsmaschine multithreaded sein.
  • Zum ersten Mal habe ich über einen Artikel der Organisation "statebox" von Petrinetzen erfahren.
  • Ich war von ihren Papers so fasziniert, dass es mein Traum wurde, dort zu arbeiten.
  • Auf ihrer Homepage steht derzeit nur der Text "Stell dir vor, du wirst Kategorientheoretiker" mit einem lächelnden Emoji, daher habe ich keine Ahnung, was passiert ist.

• Vor ein paar Tagen habe ich dieses Tool verwendet, um ein einfaches Diagramm für ein Buch zu zeichnen.

  • Es lässt sich nur für Kategorientheorie verwenden, daher gibt es wenig Unterstützung dafür, Knoten hübsch zu gestalten, aber mit LaTeX geht das.

• Ich habe gestern Abend TikZCD benutzt; das ist eine Version dieses Tools mit weniger Funktionen.

  • Zum Zeichnen einfacher Diagramme ist es ziemlich gut.

• Ich frage mich, ob jemand erklären kann, was ein "kommutatives Diagramm und Klebediagramm" ist.

  • Die Wikipedia-Seite ist zu abstrakt, sodass sie auf einer grundlegenden Ebene schwer zu verstehen war.

• Ich frage mich, ob es in ein webfreundliches Format exportieren kann. Vermutlich SVG.

  • Wenn man quiver auf localhost ausführt, ist Teilen per Link keine Option.

• Ein sehr gutes Produkt.

  • Früher habe ich TikZ-Code von Hand geschrieben, und ich war ziemlich schnell darin, aber inzwischen habe ich vieles vergessen, daher dürfte dieses Tool für kommutative Diagramme sehr nützlich sein.

• Als ich vor ein paar Jahren einen Kurs in Kategorientheorie belegt habe, war Quiver absolut unverzichtbar.

  • Die UI war sauber und intuitiv, und es hatte viele Funktionen.
  • Verglichen mit TikZ ist Quiver unvergleichlich überlegen.

• Ich habe Quiver mehrfach benutzt, und jede Erfahrung war großartig.

  • Ein Lob an die Autoren.

• Ein Tool zur Codegenerierung ließe sich hier wohl erstellen.