Largest commutative diagram actually used

soft-question category-theory

Solution 1:

Remarkably big diagrams (spanning multiple pages) appear in an attempt by Trimble to explicitly write down axioms for tetracategories, i.e. higher categories with up to 4 levels of morphisms. You can find them here.

Related

Proving that $\sum_{k=0}^{2n} {2k \choose k } {2n \choose k}\left( \frac{-1}{2} \right)^k=4^{-n}~{2n \choose n}.$
$d(x,y) = |f(x) - f(y)|$ on $\mathbb{R}$
Generating polygons with integer coordinates bounding a circle
A series for $\log (a) \log (b)$ in terms of hypergeometric function
Typical Olympiad Inequality? If $\sum_i^na_i=n$ with $a_i>0$, then $\sum_{i=1}^n\left(\frac{a_i^3+1}{a_i^2+1}\right)^4\geq n$
How to use variable substitution in Frontend js applications like backend applications?
Checking if a string is found in one of multiple columns in mySQL
How to count word frequencies within a file in python
Can the spread operator be used to supply function arguments?
eraser not working in iOS drawing
function in setInterval() executes without delay
Linux removing folders older than 1 year and more than 3 files