Documentation

InfinityCosmos.ForMathlib.AlgebraicTopology.SimplicialCategory.Cotensors

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    Instances For

      HasCotensor F represents the mere existence of a simplicial cotensor.

      Instances

        K has simplicial cotensors when cotensors with any simplicial set exist.

        Instances
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                Equations
                • One or more equations did not get rendered due to their size.
                Instances For