A semi-strictly generated closed structure on Gray-Cat

Adrian Miranda

We show that the semi-strictly generated internal homs of $\mathbf{Gray}$-categories $[\mathfrak{A},\mathfrak{B}{]}_{\text{ssg}}$ defined in \cite{Miranda strictifying operational coh…