ccd-topos-theory

name	ccd-topos-theory
description	Geometric theories, classifying toposes, Morita checks, theory builders. Use for §6 topos-theoretic semantics and bridges between syntactic/semantic theories.

src/topos_theory/

When to use

• Encoding geometric theories, classifying toposes, or comparing theories via Morita equivalence helpers.
• Connecting typological or enriched setups to topos-level structure.

Primary imports

from src.topos_theory import (
    TheoryType, Axiom, GeometricTheory, ClassifyingTopos,
    check_morita_equivalence,
    build_typological_theory, build_enriched_theory,
)

Manuscript

§6.

See also

• AGENTS.md · README.md