Skip to content
cccskills
FreePublished on GitHub

condensed-mathematics

Scholze-Clausen condensed math - condensed sets, liquid vector spaces, solid modules, 6-functor formalism, Kunneth exactness

The English summary is being prepared. Showing the original description.

See how to install

Files included (2)

  • SKILL.md1.9 KB
  • CONCOMITANT_SKILLS.md972 B

SKILL.md (original)

Review the instructions the agent will receive before you install.

Condensed Mathematics Skill: Scholze-Clausen for BCI

Status: Production Ready Trit: 0 (ERGODIC - coordinator) Color: #26A0D8 (Sky Blue) Principle: Condensed math fixes topology+algebra interaction via sheaves on CompHaus Frame: Cond(Ab) with liquid/solid tensor products and 6-functor formalism


Overview

Condensed Mathematics provides the correct framework for combining topology with algebra. Implements:

  1. Condensed sets: Sheaves on CompHaus^op (profinite probes)
  2. Cond(Ab): Complete abelian category with tensor ⊗ and Hom
  3. Liquid vector spaces: p-liquid norms, exact tensor ⊗^L
  4. Solid modules: Completion via double-dual, solid tensor ⊗^■
  5. 6-functor formalism: f*, f_*, f!, f^!, ⊗, Hom with projection formula
  6. Analytic rings: Discrete, liquid, solid analytic structures
  7. Kunneth formula: Exact in condensed setting (no Tor correction)

Key Results

Condensed Sets: 3 worlds on 3 profinite probes (cantor, p-adic-3, cyclic)
Sheaf condition: T(S1 ∐ S2) = T(S1) × T(S2) VERIFIED
Liquid: all worlds p-liquid for p=0.5,0.75,1.0
Solid: all worlds solid (double-dual error = 0.000000)
6-functors: projection formula f!(M ⊗ f*N) ≃ f!(M) ⊗ N VERIFIED
Kunneth: H^0(X×Y) = H^0(X) ⊗ H^0(Y) VERIFIED (error=0.0000)

Integration with GF(3) Triads

infinity-categories (+1) x condensed-mathematics (0) x infinity-topoi (-1) = 0
stochastic-resonance (+1) x condensed-mathematics (0) x derived-categories (-1) = 0

Skill Name: condensed-mathematics Type: Condensed Sets / Liquid / Solid / 6-Functors / Kunneth Trit: 0 (ERGODIC) GF(3): (+1) condensed gen + (0) liquid coord + (-1) solid valid = 0

Reviews

No reviews yet. Tell others what you thought.

Comments

No login needed. Share how it worked for you, ask a question, or note where it did not run.

No comments yet. Be the first to write one.

Comments are published right away. Do not include personal information such as email addresses or phone numbers. Up to 2 URLs.

0 / 1,000 characters

This form is protected by reCAPTCHA, and the Google Privacy Policy and Terms of Service apply.

More skills from this repository

Model ElevenLabs voice synthesis as an ACSet schema with Unison ability handlers for typed voice operations. Use when integrating ElevenLabs TTS into category-theoretic pipelines, building typed voice synthesis workflows, or managing multi-voice narration with GF(3) conservation.

The English summary is being prepared. Showing the original description.

plurigrid/asi70Updated Jul 10, 2026

Systematic process for analyzing and modernizing legacy applications to comply with the 12-Factor App methodology. Covers code analysis, configuration externalization, dependency management, and container/Kubernetes best practices.

The English summary is being prepared. Showing the original description.

plurigrid/asi70Updated Jul 10, 2026

13c0e3

Free

Gay MCP skill at invocation 26

The English summary is being prepared. Showing the original description.

plurigrid/asi70Updated Jul 10, 2026

19d57d

Free

Gay MCP skill at invocation 5

The English summary is being prepared. Showing the original description.

plurigrid/asi70Updated Jul 10, 2026

1ea91a

Free

Gay MCP skill at invocation 27

The English summary is being prepared. Showing the original description.

plurigrid/asi70Updated Jul 10, 2026

1eab21

Free

Gay MCP skill at invocation 3

The English summary is being prepared. Showing the original description.

plurigrid/asi70Updated Jul 10, 2026

See all skills by plurigrid

Report a problem with this skill