GaloisConnection

📁 Source: Mathlib/CategoryTheory/Category/GaloisConnection.lean

Statistics

Metric	Count
Definitions adjunction	1
Theorems gc	1
Total	2

CategoryTheory.Adjunction

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
gc 📖	mathematical	—	GaloisConnection CategoryTheory.Functor.obj Preorder.smallCategory	—	—

GaloisConnection

Definitions

Name	Category	Theorems
adjunction 📖	CompOp	—

---

← Back to Index