3 problems

Special-case vertical non-uniqueness conjecture. Special cases are not vertically unique.

Vertical non-uniqueness conjecture. For every connective $\texttt{\#}$, if $\texttt{\#}\in\texttt{PC}$ but $\texttt{\#}\notin\texttt{PU}$, then $\texttt{\#}$ is not vertically inte…

A linear fibrational double category (LFDC) is a categorical structure with the substructural type-theoretic features described in the source, including type-level weakening, funct…