Search results

Allow for non-unital double theories

coreRust core for categorical logic and general computationRust core for categorical logic and general computation

Status: Open.

Feature

#1099 In ToposInstitute/CatColab;

· tim-at-topos opened on Mar 5, 2026

RFC-0001: tracking issue

RFC

Status: Open.

#1098 In ToposInstitute/CatColab;

· tim-at-topos opened on Mar 5, 2026

Refactor display of unnamed morphisms in frontend

frontendTypeScript frontend and Rust-wasm integrationsTypeScript frontend and Rust-wasm integrations

visualizationVisualization and plottingVisualization and plotting

Status: Open.

Task

#1096 In ToposInstitute/CatColab;

· epatters opened on Mar 4, 2026

Missing whitespace in LaTeX display of monomials with long variable names

visualizationVisualization and plottingVisualization and plotting

Status: Open.

Bug

#1092 In ToposInstitute/CatColab;

· epatters opened on Mar 3, 2026

Refactor equations analyses

frontendTypeScript frontend and Rust-wasm integrationsTypeScript frontend and Rust-wasm integrations

Status: Open.

Task

#1089 In ToposInstitute/CatColab;

· tim-at-topos opened on Mar 3, 2026

Missing explicit privacy policy

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#1086 In ToposInstitute/CatColab;

· tim-at-topos opened on Mar 2, 2026

We could enforce non-empty string user name at DB level

backendBackend, including web server and databaseBackend, including web server and database

Status: Open.

#1078 In ToposInstitute/CatColab;

· kasbah opened on Feb 25, 2026

Error in individual analysis breaks an entire analysis document

canaryThis is fine for now but won't be forever.This is fine for now but won't be forever.

frontendTypeScript frontend and Rust-wasm integrationsTypeScript frontend and Rust-wasm integrations

Status: Open.

Bug

#1076 In ToposInstitute/CatColab;

· tim-at-topos opened on Feb 23, 2026

Use bidirectional inference in DoubleTT model generation

coreRust core for categorical logic and general computationRust core for categorical logic and general computation

Status: Open.

Task

#1070 In ToposInstitute/CatColab;

· epatters opened on Feb 23, 2026

Parameter tables in mass-action analysis should have a "comments" column

enhancementNew feature or requestNew feature or request

ui/uxUser interface and user experienceUser interface and user experience

Status: Open.

Feature

#1054 In ToposInstitute/CatColab;

· tim-at-topos opened on Feb 17, 2026

Analysis documents should also have a link to /help

ui/uxUser interface and user experienceUser interface and user experience

Status: Open.

Feature

#1053 In ToposInstitute/CatColab;

· tim-at-topos opened on Feb 17, 2026

Remove duplication in <code>mass_action_tab</code> and <code>mass_action_modal</code>

frontendTypeScript frontend and Rust-wasm integrationsTypeScript frontend and Rust-wasm integrations

Status: Open.

Task

#1050 In ToposInstitute/CatColab;

· tim-at-topos opened on Feb 16, 2026