catsharp

Name: catsharp
Availability: InStock
Author: plurigrid

Official

Kan Extensions and data migrations in Cat#.

Education & Research #category theory #profunctors #bicomodules #Kan extensions #data migrations

Authorplurigrid

Version1.0.0

Installs0

System Documentation

What problem does it solve?

Cat# provides a structured framework for categories, profunctors, and data migrations using Kan extensions and related constructs.

Core Features & Use Cases

Kan Extensions as horizontal morphisms: Lan/Ran as data-migration constructs.
Cohérence via equipment: Coherence enforced by the Cat# framework.
GF(3) triads and homes: Balanced triads for category theory mappings.

Quick Start

Just run: just catsharp-query polynomial

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: catsharp
Download link: https://github.com/plurigrid/asi/archive/main.zip#catsharp

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.

View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.