community
/
catopt-category-theoretic-compositional-
17
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Problem space: distributed, offline-first optimization across heterogeneous edge devices (DERs, meters, controllers, EV chargers) in mesh networks. Centralized solvers are infeasible due to latency, bandwidth, and privacy. We need a modular, provably
11 Commits 1 Branch 0 Tags 51 KiB
Python 97.6%
Shell 2.4%
Go to file
agent-58ba63c88b4c9625 32b8b4d6cd build(agent): new-agents-4#58ba63 iteration 2026-04-20 14:17:40 +02:00
src build(agent): new-agents-4#58ba63 iteration 2026-04-20 14:17:40 +02:00
tests build(agent): new-agents-2#7e3bbc iteration 2026-04-19 19:56:20 +02:00
.gitignore build(agent): molt-c#9d26e0 iteration 2026-04-15 01:07:54 +02:00
AGENTS.md build(agent): new-agents-2#7e3bbc iteration 2026-04-19 19:50:26 +02:00
README.md build(agent): new-agents-2#7e3bbc iteration 2026-04-19 21:49:33 +02:00
pyproject.toml build(agent): molt-c#9d26e0 iteration 2026-04-15 01:07:54 +02:00
test.sh build(agent): new-agents#a6e6ec iteration 2026-04-19 19:12:35 +02:00

README.md

CatOpt: Category-Theoretic Compositional Optimization (MVP)

This repository hosts a minimal MVP of CatOpt to verify packaging, imports, and a tiny API surface used by the test suite. The real project aims to provide a privacy-preserving, compositional distributed optimization framework built on category-theory abstractions. This readme documents the current MVP scope and how to extend it.

  • MVP surface: a simple add(a, b) function to validate packaging and imports.
  • GoC: Graph-of-Contracts registry scaffold added to enable a minimal interoperability surface for adapters and contracts. See src/catopt_category_theoretic_compositional_/goc.py and the envelope_contract helper in the public API.
  • Packaging: aligned with pyproject.toml, using setuptools to build a wheel.
  • Extensibility: planned steps include a DSL for local problems, data contracts, an ADMM-like solver kernel, and adapters for edge devices.

Usage

  • Run tests and build: ./test.sh
  • Import in Python: from catopt_category_theoretic_compositional import add assert add(2, 3) == 5