Accelerating the search for antimicrobial peptides with Google Antigravity
deepmind.google·2h ago
AI Engineering
Lobsters·2d ago·5 min read
Draw commutative diagrams, 2-cells, adjunctions and 3D cubes in the browser
TL;DR
A new browser-based editor allows users to create and manipulate category-theory diagrams, including commutative squares and 2-cells, without any dependencies. It supports exporting diagrams in SVG, PNG, and tikz-cd formats.
✦ Why It Matters
Start using this tool today to create and share category-theory diagrams effortlessly in your projects.
Key Takeaways
- Create category-theory diagrams directly in your browser.
- Export diagrams in SVG, PNG, or tikz-cd formats.
- Use intuitive drag-and-drop functionality for easy editing.
- No installation or server setup required; works from file system.
Full Summary
This tool is a single-file, dependency-free editor designed for creating category-theory diagrams directly in modern web browsers like Chrome and Firefox. Users can easily click to place objects, drag to move them, and double-click to edit labels.
The editor supports various diagram types, such as commutative squares and exact sequences, and allows for intuitive interactions like dragging arrows to bend them. Once completed, diagrams can be exported in multiple formats, including SVG and tikz-cd, making it versatile for different applications.
The ease of use and accessibility from the file system without server requirements make it a practical choice for researchers and educators in mathematics and computer science.