On Pointed Enrichments and Illegal Compositions
This note gives a brief and relatively basic description of "adding an illegal point" to deal with forbidden compositions. The main result is Theorem 4.2, although Lemma 5.2 seems to have very broad applications. The point of the theorem is that 2-categories are not necessary to study reasonable examples of "precategories" with standard categorical techniques, despite this being the most common approach in the literature.[Full Paper]
For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.