condensed-mathematics
Mathematical tool for Scholze-Clausen condensed math applications.
Install
mkdir -p .claude/skills/condensed-mathematics && curl -L -o skill.zip "https://agentskills.codes/api/skills/download/11255" && unzip -o skill.zip -d .claude/skills/condensed-mathematics && rm skill.zipInstalls to .claude/skills/condensed-mathematics
Activation
This is the description your AI agent reads to decide when to run this skill — the better it matches your request, the more reliably it fires.
Scholze-Clausen condensed math - condensed sets, liquid vector spaces, solid modules, 6-functor formalism, Kunneth exactnessKey capabilities
- →Models condensed sets and liquid vector spaces
- →Implements solid modules
- →Applies 6-functor formalisms
- →Verifies Kunneth exactness
- →Analyzes analytic rings
How it works
The tool implements the Scholze-Clausen framework for condensed mathematics, providing a rigorous environment for topology and algebra interaction.
Inputs & outputs
When to use condensed-mathematics
- →Perform condensed math calculations
- →Model 6-functor formalisms
- →Apply liquid/solid tensor products
About this skill
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:
- Condensed sets: Sheaves on CompHaus^op (profinite probes)
- Cond(Ab): Complete abelian category with tensor ⊗ and Hom
- Liquid vector spaces: p-liquid norms, exact tensor ⊗^L
- Solid modules: Completion via double-dual, solid tensor ⊗^■
- 6-functor formalism: f*, f_*, f!, f^!, ⊗, Hom with projection formula
- Analytic rings: Discrete, liquid, solid analytic structures
- 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
When not to use it
- →Standard topology or algebra tasks
- →Non-condensed mathematical modeling
Limitations
- →Requires advanced mathematical knowledge
How it compares
It provides a specialized framework for condensed mathematics that is not available in standard mathematical software.
Compared to similar skills
condensed-mathematics side by side with the closest alternatives in the catalog.
| Skill | Installs | Updated | Safety | Difficulty |
|---|---|---|---|---|
| condensed-mathematics (this skill) | 0 | 2mo | No flags | Advanced |
| quant-analyst | 103 | 2mo | No flags | Advanced |
| stock-analyzer | 71 | 2mo | Review | Beginner |
| xlsx | 87 | 6mo | Review | Intermediate |
Try saying
Example prompts that trigger this skill in your AI assistant.
More by plurigrid
View all by plurigrid →You might also like
quant-analyst
zenobi-us
Expert quantitative analyst specializing in financial modeling, algorithmic trading, and risk analytics. Masters statistical methods, derivatives pricing, and high-frequency trading with focus on mathematical rigor, performance optimization, and profitable strategy development.
stock-analyzer
FrancyJGLisboa
Provides comprehensive technical analysis for stocks and ETFs using RSI, MACD, Bollinger Bands, and other indicators. Activates when user requests stock analysis, technical indicators, trading signals, or market data for specific ticker symbols.
xlsx
anthropics
Comprehensive spreadsheet creation, editing, and analysis with support for formulas, formatting, data analysis, and visualization. When Claude needs to work with spreadsheets (.xlsx, .xlsm, .csv, .tsv, etc) for: (1) Creating new spreadsheets with formulas and formatting, (2) Reading or analyzing data, (3) Modify existing spreadsheets while preserving formulas, (4) Data analysis and visualization in spreadsheets, or (5) Recalculating formulas
google-analytics
davila7
Analyze Google Analytics data, review website performance metrics, identify traffic patterns, and suggest data-driven improvements. Use when the user asks about analytics, website metrics, traffic analysis, conversion rates, user behavior, or performance optimization.
market-sizing-analysis
wshobson
This skill should be used when the user asks to "calculate TAM", "determine SAM", "estimate SOM", "size the market", "calculate market opportunity", "what's the total addressable market", or requests market sizing analysis for a startup or business opportunity.
data-engineering
pluginagentmarketplace
ETL pipelines, Apache Spark, data warehousing, and big data processing. Use for building data pipelines, processing large datasets, or data infrastructure.