Square

📁 Source: Mathlib/Algebra/Homology/Square.lean

Statistics

Metric	Count
Definitions isLimitKernelFork, isColimitCokernelCofork, cokernelCofork, isPullbackEquivIsLimitKernelFork, isPushoutEquivIsColimitCokernelCofork, kernelFork	6
Theorems	0
Total	6

CategoryTheory.Square

Definitions

Name	Category	Theorems
cokernelCofork 📖	CompOp	—
isPullbackEquivIsLimitKernelFork 📖	CompOp	—
isPushoutEquivIsColimitCokernelCofork 📖	CompOp	—
kernelFork 📖	CompOp	—

CategoryTheory.Square.IsPullback

Definitions

Name	Category	Theorems
isLimitKernelFork 📖	CompOp	—

CategoryTheory.Square.IsPushout

Definitions

Name	Category	Theorems
isColimitCokernelCofork 📖	CompOp	—

---

← Back to Index