Adhesive

📁 Source: Mathlib/CategoryTheory/Adhesive.lean

Statistics

Metric	Count
Definitions Adhesive	1
Theorems	0
Total	1

CategoryTheory

Definitions

Name	Category	Theorems
Adhesive 📖	CompData	7 math math: Type.adhesive, SheafOfTypes.adhesive, adhesive_of_preserves_and_reflects_isomorphism, adhesive_of_preserves_and_reflects, adhesive_functor, adhesive_of_reflective, instAdhesiveSheafOfHasPullbacksOfHasPushoutsOfHasSheafify

---

← Back to Index