The functor category $[\mathbf{G},\textbf{Set}]$ is Cartesian closed. What is the explict description of the closed monoidal structure of it? - Mathematics Stack Exchange
Undecidability of Equality in the Free Locally Cartesian Closed Category
Cartesian closed category: Explosion of Intension-Extension... | Download Scientific Diagram
Cartesian Closed Category | PPT
Maths - Cartesian Closed Categories - Martin Baker
PDF] A Cartesian closed category of event structures with quotients | Semantic Scholar