nLab Christian Lair

Selected writings

Selected writings

Proof that the funny tensor product of categories is the only other symmetric closed monoidal structure on Cat besides the cartesian monoidal structure:

Proof that not only every sketchable category is accessible but that conversely every accessible category is sketchable:

On Michael Barr & Charles Wells‘s Toposes, Triples, and Theories:

category: people

Created on November 15, 2023 at 16:26:27. See the history of this page for a list of all contributions to it.