Simplicial.hs

{-| The public simplicial-category surface.

This facade exposes the definitional simplicial mathematics owned by the
@simplicial@ sublibrary without making downstream consumers name its
@Pure.Simplicial@ implementation paths.  The effectful property harness remains
in @moonlight-category:laws@.

== Cabal boundary and nerve cost

This module is provided by the public @moonlight-category:simplicial@ component;
programs using site compilation and simplicial constructions should depend on that
component alongside @moonlight-category@ and import this facade alongside
"Moonlight.Category".  That pair is the complete ordinary consumer path.

'normalizedNerve' is the default: it enumerates nonidentity chains and closes them
under faces. 'unnormalizedNerve' instead materializes every composable chain,
including identity insertions, and is intended only for small diagnostic or law
workloads. Its dimension bound is not a resource bound. Validated chain vertices
are available totally as 'chainVertices' from "Moonlight.Category"; use the site
kernel's inverse lookup there to recover domain object names.
-}
module Moonlight.Category.Simplicial
  ( module CategoricalSimplex,
    module Delta,
    module Homotopy,
    module Kan,
    module Nerve,
    module Ordinal,
    module Presheaf,
    module Set,
    module Spaces,
    module TypeLevel,
    module Validation,
  )
where

import Moonlight.Category.Pure.Simplicial.CategoricalSimplex as CategoricalSimplex
import Moonlight.Category.Pure.Simplicial.Delta as Delta
import Moonlight.Category.Pure.Simplicial.Homotopy as Homotopy
import Moonlight.Category.Pure.Simplicial.Kan as Kan
import Moonlight.Category.Pure.Simplicial.Nerve as Nerve
import Moonlight.Category.Pure.Simplicial.Ordinal as Ordinal
import Moonlight.Category.Pure.Simplicial.Presheaf as Presheaf
import Moonlight.Category.Pure.Simplicial.Set as Set
import Moonlight.Category.Pure.Simplicial.Spaces as Spaces
import Moonlight.Category.Pure.Simplicial.TypeLevel as TypeLevel
import Moonlight.Category.Pure.Simplicial.Validation as Validation