The Clowder Project

A

• Akiva Weinberger, Is composition of two transitive relations transitive? If not, can you give me a counterexample?
• Aristide Deleanu, Armin Frei and Peter Hilton, Idempotent Triples and Completion

D

• David Gepner, Moritz Groth and Thomas Nikolaus, Universality of Multiplicative Infinite Loop Space Machines

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

• Francis Borceux, Handbook of Categorical Algebra I

G

• Giorgio Mossa, Natural transformations as categorical homotopies

I

• Ivan Di Liberti, Characterization of pseudo monomorphisms and pseudo epimorphisms in Cat

J

• Jiří Adámek, Robert El Bashir, Manuela Sobral and Jiří Velebil, On Functors Which Are Lax Epimorphisms
• John C. Baez and Michael Shulman, Lectures on $n$-Categories and Cohomology
• John R. Isbell, Epimorphisms and Dominions. III
• Jonas Frey, On the 2-Categorical Duals of (Full and) Faithful Functors

K

• kilian, Equivalence of categories and axiom of choice
• Krzysztof Ciesielski, Set Theory for the Working Mathematician

M

• Martin Brandenburg, Why are the category of pointed sets and the category of sets and partial functions “essentially the same”?
• Maximilien Péroux and Brooke Shipley, Coalgebras in Symmetric Monoidal Categories of Spectra

N

• Neil Strickland, Proof that a cartesian category is monoidal
• Niles Johnson and Donald Yau, 2-Dimensional Categories
• nLab Authors, Displayed Category
• nLab Authors, Groupoid
• nLab Authors, Skeleton

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

• Qiaochu Yuan, Is the category of pointed sets Cartesian closed?
• Qiaochu Yuan, Mono's and epi's in the category Rel?

S

• Stefan Hamcke, Precomposition with a faithful functor
• Stephen Schanuel and Ross Street, The Free Adjunction
• Susan Niefield, Change of Base for Relational Variable Sets

U

• user30818, Category and the axiom of choice

V

• Victor, Pushout in the category of sets: proof

W

• Wikipedia Contributors, Multivalued Function — Wikipedia, The Free Encyclopedia
• Wikipedia Contributors, Symmetric Difference — Wikipedia, The Free Encyclopedia

Z

• Zhen Lin, If the functor on presheaf categories given by precomposition by F is ff, is F full? faithful?
• Zhen Lin, Precomposition with a faithful functor
• Zhen Lin, Show that the powerset partial order is a cartesian closed category.
• Zhen Lin Low, Notes on Homotopical Algebra