Quiver - editor moderno de diagramas comutativos

• quiver é um editor gráfico moderno, uma ferramenta para diagramas comutativos e de colagem

• Renderiza diagramas de alta qualidade para visualização na tela e permite exportação para LaTeX

• Permite criar e modificar diagramas muito mais rapidamente do que escrever LaTeX manualmente e, com um pouco de experiência, pode competir com desenhá-los à mão.

• Recursos e capturas de tela

  • quiver oferece uma interface eficiente e intuitiva para criar diagramas comutativos complexos e diagramas de colagem. É possível desenhar facilmente diagramas que incluem pullbacks e pushouts, anexações e células de dimensão superior. O posicionamento dos objetos é baseado em uma grade flexível que se ajusta ao tamanho dos rótulos. Há suporte a vários estilos de seta combináveis, além do uso de cores para rótulos e setas.

  • quiver foi projetado para ficar bem em capturas de tela e pode exportar para LaTeX com aparência o mais próxima possível do diagrama original. É possível criar e modificar diagramas usando o mouse com cliques e arrasto ou usando o teclado, com um conjunto completo de atalhos para realizar todas as operações.

  • Ao exportar diagramas para LaTeX, o quiver inclui um link para o diagrama, permitindo editá-lo mais tarde ou compartilhá-lo com outras pessoas.

  • Outros recursos

    • Recurso de seleção múltipla para facilitar alterações em massa
    • Sistema de histórico com desfazer/refazer operações
    • Suporte à definição de macros personalizadas: cole a URL de um arquivo que contenha \newcommand
    • Exportação de diagramas incorporáveis em HTML
    • Funções de pan e zoom para diagramas grandes
    • Alinhamento inteligente de rótulos e deslocamento nas bordas

• Importação de macros e cores

  • Para usar macros e cores personalizadas no quiver, é preciso criar um arquivo contendo definições como as seguintes.

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

  • Envie o arquivo para uma URL com acesso público e cole essa URL no campo "Macros" do quiver. No momento, macros podem ser definidas com \newcommand, \newcommand*, \renewcommand, \renewcommand*, \DeclareMathOperator, \DeclareMathOperator*, e cores podem ser definidas com \definecolor (usando os modos de cor rgb, RGB, HTML, gray).

• Integração com editores

  • A integração com editores pode ser consultada na wiki do quiver.

• Build

  • Execute make na linha de comando e depois abra src/index.html em um navegador web. Se isso falhar, você pode estar usando uma versão incompatível de Make ou Bash. Nesse caso, será necessário baixar manualmente a versão mais recente do KaTeX e colocá-la em src/ como src/KaTeX/. Se o caminho do KaTeX estiver incorreto, ocorrerá um erro de falha no carregamento do KaTeX.

  • quiver deve ser executado via localhost. Se você tiver Python instalado, pode resolver isso facilmente executando o seguinte comando:

    python3 -m http.server  
    

  • Execute isso no diretório src do quiver e depois abra localhost:8000 no navegador. Se houver problemas no build, você pode abrir uma issue descrevendo o problema em detalhes para receber ajuda.

• Agradecimentos

  • S. C. Steenkamp: discussões úteis sobre a renderização estética das setas
  • AndréC: forneceu um estilo TikZ personalizado para curvas de altura fixa
  • Nathan Corbyn: adicionou o recurso de exportação de diagramas incorporáveis em HTML
  • Paolo Brasolin: adicionou suporte offline
  • Carl Davidson: discussões e protótipo sobre renderização de loops
  • Todos os relatores de problemas e pessoas que sugeriram melhorias e contribuíram para aprimorar o quiver

[GN⁺]

Comentários do Hacker News

• Esta ferramenta é excelente; consegui criar o cubo de Fourier-Poisson em cerca de 10 minutos. A UI é muito intuitiva

  • Focar em diagramas comutativos em vez de uma tela livre é uma ótima escolha de design, limpa e fácil de usar
  • Se eu tivesse tido esta ferramenta ao escrever artigos, teria economizado muito tempo

• Recentemente fiquei muito impressionado com o editor de redes de Petri

  • Uma rede de Petri é algo como uma máquina de estados finitos que pode se tornar multithread
  • Conheci as redes de Petri pela primeira vez por meio dos textos de uma organização chamada "statebox"
  • Fiquei fascinado ao ler os artigos deles, e meu sonho passou a ser trabalhar lá
  • No momento, a página inicial deles só tem o texto "imagine tornar-se um teórico das categorias" e um emoji sorridente, então não faço ideia do que aconteceu

• Usei esta ferramenta há alguns dias para desenhar um diagrama simples para um livro

  • Como ela só pode ser usada para teoria das categorias, falta suporte para deixar os nós mais bonitos, mas isso dá para fazer com LaTeX

• Usei TikZCD ontem à noite, e ele é uma versão com menos recursos desta ferramenta

  • É bem bom para desenhar diagramas simples

• Estou curioso para saber se alguém poderia explicar o que é um "diagrama comutativo e de colagem"

  • A página da Wikipédia é abstrata demais, então foi difícil entender em um nível básico

• Estou curioso para saber se há exportação para um formato amigável para a web. Imagino que seria SVG

  • Se você roda o quiver em localhost, compartilhar por link não é uma opção

• Produto muito bom

  • No passado eu escrevia código TikZ à mão, e era bem rápido, mas agora esqueci muita coisa, então esta ferramenta deve ser muito útil para diagramas comutativos

• Quando fiz uma disciplina de teoria das categorias alguns anos atrás, o Quiver era absolutamente essencial

  • A UI era limpa, intuitiva e cheia de recursos
  • Em comparação com o TikZ, o Quiver é incomparavelmente superior

• Usei o Quiver várias vezes, e todas as experiências foram excelentes

  • Meus parabéns aos autores

• Uma ferramenta de geração de código poderia ser criada aqui