·asi-polynomial-operads
</>

asi-polynomial-operads

plurigrid/asi

ASI-Fähigkeit zur Integration von Polynomfunktoren, freie Monade/kofreie Komonade

4Installationen·0Trend·@plurigrid

Installation

$npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads

SKILL.md

"Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad" — Libkind & Spivak (ACT 2024)

Core Definition A polynomial functor $p: \text{Set} \to \text{Set}$ is a sum of representables:

Morphisms (Dependent Lenses) A lens $f: p \to q$ is a pair $(f1, f^\sharp)$:

ASI-Fähigkeit zur Integration von Polynomfunktoren, freie Monade/kofreie Komonade Quelle: plurigrid/asi.

Original anzeigen

Fakten (zitierbereit)

Stabile Felder und Befehle für KI/Such-Zitate.

Installationsbefehl
npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads
Kategorie
</>Entwicklung
Verifiziert
Erstes Auftreten
2026-02-01
Aktualisiert
2026-02-18

Schnelle Antworten

Was ist asi-polynomial-operads?

ASI-Fähigkeit zur Integration von Polynomfunktoren, freie Monade/kofreie Komonade Quelle: plurigrid/asi.

Wie installiere ich asi-polynomial-operads?

Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor

Wo ist das Quell-Repository?

https://github.com/plurigrid/asi