Structures · Topology

SSet.Subcomplex.Pairing.IsInner

The condition that a pairing only involves inner horns.

Defined in: Mathlib.AlgebraicTopology.SimplicialSet.AnodyneExtensions.Pairing
Shape: One type argument · adds ne_zero, ne_last

Open in Mathlib docs

Extends0

Extends nothing: this is a root of the hierarchy.

Extended by0

Nothing extends this class yet.

Concrete types that are instances1

CategoryTheory.MonoidalCategoryStruct.tensorObj

How is a type an instance?

Loading the hierarchy index…

Assumed by5

Ancestors0

No ancestors.