Quiver - editor moderno de diagramas conmutativos

• quiver es un editor gráfico moderno, una herramienta para diagramas conmutativos y de pegado

• Renderiza diagramas de alta calidad para visualizarlos en pantalla y permite exportarlos a LaTeX

• Permite crear y modificar diagramas mucho más rápido que escribiendo LaTeX manualmente y, con un poco de experiencia, puede competir con dibujarlos a mano.

• Funciones y capturas de pantalla

  • quiver ofrece una interfaz eficiente e intuitiva para crear diagramas conmutativos complejos y diagramas de pegado. Permite dibujar fácilmente diagramas que incluyen pullbacks y pushouts, adjunciones y celdas de orden superior. La disposición de los objetos se basa en una cuadrícula flexible que se ajusta según el tamaño de las etiquetas. También permite usar varios estilos de flechas combinables, así como colores para etiquetas y flechas.

  • quiver está diseñado para verse bien en capturas de pantalla y puede exportarse a LaTeX de modo que se parezca lo más posible al diagrama original. Puedes crear y modificar diagramas haciendo clic y arrastrando con el mouse o usando el teclado, y ofrece un conjunto completo de atajos de teclado para realizar todas las tareas.

  • Al exportar un diagrama a LaTeX, quiver incluye un enlace al diagrama para que pueda editarse más adelante o compartirse con otras personas.

  • Otras funciones

    • La selección múltiple facilita realizar cambios masivos
    • Sistema de historial para deshacer y rehacer acciones
    • Soporte para definir macros personalizadas: pega la URL de un archivo que incluya \newcommand
    • Exportación de diagramas incrustables en HTML
    • Funciones de paneo y zoom para diagramas grandes
    • Alineación inteligente de etiquetas y desplazamiento de bordes

• Importar macros y colores

  • Para usar macros y colores personalizados en quiver, debes crear un archivo que incluya definiciones como las siguientes.

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

  • Sube el archivo a una URL de acceso público y pega esa URL en el campo "Macros" de quiver. Actualmente, las macros pueden definirse con \newcommand, \newcommand*, \renewcommand, \renewcommand*, \DeclareMathOperator, \DeclareMathOperator*, y los colores pueden definirse con \definecolor (usando los modos de color rgb, RGB, HTML y gray).

• Integración con editores

  • Puedes consultar la integración con editores en la wiki de quiver.

• Compilación

  • Ejecuta make en la línea de comandos y luego abre src/index.html en un navegador web. Si falla, es posible que estés usando una versión incompatible de Make o Bash. En ese caso, debes descargar manualmente la versión más reciente de KaTeX y colocarla en src/ como src/KaTeX/. Si la ruta de KaTeX no es correcta, aparecerá un error de carga de KaTeX.

  • quiver debe ejecutarse a través de localhost. Si tienes Python instalado, puedes resolverlo fácilmente ejecutando el siguiente comando:

    python3 -m http.server  
    

  • Después de ejecutarlo desde el directorio src de quiver, abre localhost:8000 en el navegador. Si tienes problemas con la compilación, puedes abrir un issue describiendo el problema en detalle para recibir ayuda.

• Agradecimientos

  • S. C. Steenkamp: valiosas discusiones sobre el renderizado estético de las flechas
  • AndréC: aportó un estilo personalizado de TikZ para curvas de altura fija
  • Nathan Corbyn: agregó la función de exportación de diagramas incrustables en HTML
  • Paolo Brasolin: agregó soporte offline
  • Carl Davidson: discusiones y prototipo sobre el renderizado de bucles
  • Todos quienes reportaron problemas y propusieron mejoras para quiver

[GN⁺]

Comentarios en Hacker News

• Esta herramienta es excelente; pude generar el cubo de Fourier-Poisson en unos 10 minutos. La UI es muy intuitiva

  • Enfocarse en diagramas conmutativos en lugar de un lienzo libre es una gran decisión de diseño: limpia y fácil de usar
  • Si hubiera tenido esta herramienta al escribir artículos, me habría ahorrado mucho tiempo

• Hace poco me impresionó mucho un editor de redes de Petri

  • Una red de Petri es algo así como una máquina de estados finitos que puede ser multihilo
  • Conocí las redes de Petri por primera vez a través de los escritos de una organización llamada "statebox"
  • Leí sus artículos y quedé fascinado, hasta el punto de que trabajar ahí se volvió un sueño para mí
  • Ahora mismo, su página principal solo tiene el texto "imagina convertirte en teórico de categorías" y un emoji sonriente, así que no sé qué habrá pasado

• Hace unos días usé esta herramienta para dibujar un diagrama simple para un libro

  • Como solo se puede usar para teoría de categorías, le falta soporte para decorar nodos de forma vistosa, aunque eso se puede hacer con LaTeX

• Anoche usé TikZCD, y esta herramienta es como una versión con menos funciones de eso

  • Es bastante buena para dibujar diagramas simples

• Me pregunto si alguien podría explicar qué es un "diagrama conmutativo y de pegado"

  • La página de Wikipedia es demasiado abstracta y fue difícil entenderla a un nivel básico

• Me pregunto si permite exportar a un formato amigable para la web. Supongo que sería SVG

  • Si ejecutas quiver en localhost, compartirlo mediante un enlace no es una opción

• Es un producto muy bueno

  • Antes escribía el código TikZ a mano y era bastante rápido, pero ahora ya olvidé muchas cosas, así que esta herramienta sería muy útil para diagramas conmutativos

• Cuando tomé una clase de teoría de categorías hace algunos años, Quiver era absolutamente esencial

  • La UI era limpia, intuitiva y tenía muchas funciones
  • En comparación con TikZ, Quiver es incomparablemente superior

• He usado Quiver varias veces y todas las experiencias han sido excelentes

  • Mis felicitaciones a los autores

• Aquí podría hacerse una herramienta de generación de código