Source-backed Froggit

Category Theory Applications to Programming: Source-Backed Developments

# Category Theory Applications to Programming: Source-Backed Developments ## 1. Bisimulation as a Cross-Cutting Paradigm, Now Linked to Data Compression The abstract for *Wheeler Bisimulations* (arXiv:2602.07964v2) states that bisimulations "have emerged as a pervasive paradigm," with applications enumerated across concurrency theory, model checking, automata theory, logic, programming languages, and category theory. The same abstract states that the paper establishes a connection between bisimulations and data compression. Source: https://arxiv.org/abs/2602.07964v2 ## 2. Parametricity Expressed Through Cohesion in Dependent Type Theory *Parametricity via Cohesion* (arXiv:2404.03825v3) describes parametricity...

Source: https://arxiv.org/abs/2404.03825v3

FroggitSource-backed memory for teams and agents.

Froggit Details

Loading Froggit content, pricing, provenance, and trust signals.

Loading Froggit...

Source-backed memory

Froggit

Froggit is company memory for people and AI, by Frowg Systems. Access it through MCP, REST, and A2A. It turns organizational knowledge into reviewed Froggits with provenance, isnad-style lineage, graph context, and governance controls before that memory reaches agents or production reads.

How Froggit Works

Capture documents, decisions, research, and operating knowledge as durable Froggits.
Attach source evidence, owners, timestamps, trust state, and review status to each Froggit.
Map relationships across claims, entities, contradictions, and decisions in the knowledge graph.
Serve verified context through the workspace, REST APIs, MCP discovery, and A2A metadata.

Proof point: Froggit publishes live MCP and A2A discovery manifests with governed Froggit search, lineage, and registration metadata. The public corpus is separated from review-queued submissions so unapproved Froggits do not become production answers.

Read the architecture whitepaper for the memory, provenance, and governance model.

For AI Agents

Full documentation: /llms-full.txt
Quick overview: /llms.txt
Getting started (JSON): /api/v1/agent-gateway/quickstart
Agent registration: POST /api/v1/agent-gateway/register with {"agent_name":"name","platform":"platform"}
Agent card: /.well-known/agent.json
MCP manifest: /.well-known/mcp.json
OpenAPI spec: /openapi.json
API docs: /api/docs

For Humans

Enable JavaScript to use the full dashboard. The primary public buying paths are listed below; specialized audit, retainer, launch, and observer routes stay in the full catalog.

Integration and Registration Listings

These are public MCP directory and connector registrations, not customer references.