Theorems · Definition · category theory
CategoryTheory.Limits.MulticospanShape.R
CategoryTheory.Limits.MulticospanShape → Type w'
the right type
- Cited by
- 124 results in Mathlib
- Foundations
- Depth 1 from the axioms, rests on 2 definitions · uses no axioms
Around this declaration
Dashed lines are statement dependencies; solid lines are citations in proofs.
Cites1
Mathlib declarations this one mentions in its statement or cites explicitly in its proof. Plumbing is filtered out.
- CategoryTheory.Limits.MulticospanShapestatement and proof · cited by 160
Cited by201
Results whose statement or proof uses this declaration.
- CategoryTheory.Limits.MulticospanIndex.multicospanproof · cited by 167
- CategoryTheory.GrothendieckTopology.Cover.indexproof · cited by 142
- CategoryTheory.Limits.MulticospanIndex.rightstatement · cited by 77
- CategoryTheory.Limits.MulticospanShape.fststatement · cited by 54
- CategoryTheory.Limits.MulticospanShape.sndstatement · cited by 48
- CategoryTheory.Limits.MulticospanIndex.fststatement · cited by 39
- CategoryTheory.Limits.MulticospanIndex.sndstatement · cited by 35
- CategoryTheory.Limits.MulticospanIndex.fstPiMapOfIsLimitstatement and proof · cited by 29
- CategoryTheory.Limits.MulticospanIndex.sndPiMapOfIsLimitstatement and proof · cited by 29
- CategoryTheory.PreOneHypercover.multicospanIndexproof · cited by 27
- CategoryTheory.Limits.multicospanIndexEndproof · cited by 22
- CategoryTheory.Limits.Multifork.ofιstatement and proof · cited by 21
Showing the 200 most cited of 201.