The category of 3-computads is not cartesian closed
From MaRDI portal
Publication:942212
DOI10.1016/j.jpaa.2008.04.010zbMath1155.18008arXiv0710.5202MaRDI QIDQ942212
Michael Makkai, Marek W. Zawadowski
Publication date: 4 September 2008
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0710.5202
18B25: Topoi
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
68Q99: Theory of computing
Cites Work