A
D
E
- Emily de Oliveira Santos, Characterisations of functors $F$ such that $F^*$ or $F_*$ is [property], e.g. faithful, conservative, etc
- Emily de Oliveira Santos, Existence and characterisations of left Kan extensions and liftings in the bicategory of relations I
- Emily de Oliveira Santos, Existence and characterisations of left Kan extensions and liftings in the bicategory of relations II
- Emily de Oliveira Santos, Is a pseudomonic and pseudoepic functor necessarily an equivalence of categories?
- Emily de Oliveira Santos, Looking for a nice characterisation of functors $F$ whose precomposition functor $F^*$ is full
- Emily de Oliveira Santos, What are the 2-categorical mono/epimorphisms in the 2-category of relations?
- Emily Riehl, Category Theory in Context
F
G
I
J
K
M
N
P
- Peter LeFanu Lumsdaine, Epimorphisms of relations
- Proof Wiki Contributors, Bijection Between $R\times (S\times T)$ and $(R\times S)\times T$ — Proof Wiki
- Proof Wiki Contributors, Bijection Between $S\times T$ and $T\times S$ — Proof Wiki
- Proof Wiki Contributors, Cartesian Product Distributes Over Set Difference — Proof Wiki
- Proof Wiki Contributors, Cartesian Product Distributes Over Symmetric Difference — Proof Wiki
- Proof Wiki Contributors, Cartesian Product Distributes Over Union — Proof Wiki
- Proof Wiki Contributors, Cartesian Product Is Empty Iff Factor Is Empty — Proof Wiki
- Proof Wiki Contributors, Cartesian Product of Intersections — Proof Wiki
- Proof Wiki Contributors, Characteristic Function of Intersection — Proof Wiki
- Proof Wiki Contributors, Characteristic Function of Set Difference — Proof Wiki
- Proof Wiki Contributors, Characteristic Function of Symmetric Difference — Proof Wiki
- Proof Wiki Contributors, Characteristic Function of Union — Proof Wiki
- Proof Wiki Contributors, Complement of Complement — Proof Wiki
- Proof Wiki Contributors, Condition For Mapping from Quotient Set To Be A Surjection — Proof Wiki
- Proof Wiki Contributors, Condition For Mapping From Quotient Set To Be An Injection— Proof Wiki
- Proof Wiki Contributors, Condition For Mapping From Quotient Set To Be Well-Defined — Proof Wiki
- Proof Wiki Contributors, De Morgan's Laws (Set Theory) — Proof Wiki
- Proof Wiki Contributors, De Morgan's Laws (Set Theory)/Set Difference/Difference with Union — Proof Wiki
- Proof Wiki Contributors, Equivalence of Definitions of Symmetric Difference — Proof Wiki
- Proof Wiki Contributors, Image of Intersection Under Mapping — Proof Wiki
- Proof Wiki Contributors, Image of Union Under Mapping — Proof Wiki
- Proof Wiki Contributors, Intersection Distributes Over Symmetric Difference — Proof Wiki
- Proof Wiki Contributors, Intersection Is Associative — Proof Wiki
- Proof Wiki Contributors, Intersection Is Commutative — Proof Wiki
- Proof Wiki Contributors, Intersection With Empty Set — Proof Wiki
- Proof Wiki Contributors, Intersection With Set Difference Is Set Difference With Intersection — Proof Wiki
- Proof Wiki Contributors, Intersection With Subset Is Subset — Proof Wiki
- Proof Wiki Contributors, Mapping From Quotient Set When Defined Is Unique — Proof Wiki
- Proof Wiki Contributors, Preimage of Intersection Under Mapping — Proof Wiki
- Proof Wiki Contributors, Preimage of Union Under Mapping — Proof Wiki
- Proof Wiki Contributors, Quotient Mapping Is Coequalizer — Proof Wiki
- Proof Wiki Contributors, Set Difference as Intersection With Complement — Proof Wiki
- Proof Wiki Contributors, Set Difference as Symmetric Difference With Intersection — Proof Wiki
- Proof Wiki Contributors, Set Difference Is Right Distributive Over Union — Proof Wiki
- Proof Wiki Contributors, Set Difference Over Subset — Proof Wiki
- Proof Wiki Contributors, Set Difference With Empty Set Is Self — Proof Wiki
- Proof Wiki Contributors, Set Difference With Self Is Empty Set — Proof Wiki
- Proof Wiki Contributors, Set Difference With Set Difference Is Union of Set Difference With Intersection — Proof Wiki
- Proof Wiki Contributors, Set Difference With Subset Is Superset of Set Difference — Proof Wiki
- Proof Wiki Contributors, Set Difference With Union — Proof Wiki
- Proof Wiki Contributors, Set Intersection Distributes Over Union — Proof Wiki
- Proof Wiki Contributors, Set Intersection Is Idempotent — Proof Wiki
- Proof Wiki Contributors, Set Intersection Preserves Subsets — Proof Wiki
- Proof Wiki Contributors, Set Union Is Idempotent — Proof Wiki
- Proof Wiki Contributors, Set Union Preserves Subsets — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference Is Associative — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference Is Commutative — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference of Complements — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference on Power Set Forms Abelian Group — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference With Complement — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference With Empty Set — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference With Intersection Forms Ring — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference With Self Is Empty Set — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference With Union Does Not Form Ring — Proof Wiki
- Proof Wiki Contributors, Symmetric Difference With Universe — Proof Wiki
- Proof Wiki Contributors, Union as Symmetric Difference With Intersection — Proof Wiki
- Proof Wiki Contributors, Union Distributes Over Intersection — Proof Wiki
- Proof Wiki Contributors, Union Is Associative — Proof Wiki
- Proof Wiki Contributors, Union Is Commutative — Proof Wiki
- Proof Wiki Contributors, Union of Symmetric Differences — Proof Wiki
- Proof Wiki Contributors, Union With Empty Set — Proof Wiki
Q
S
U
V
W
Z