Author: David_Corfield Format: MarkdownItexStarted this since it was mentioned elsewhere. So it's just the opposite one object 2-category, isn't it?
<a href="https://ncatlab.org/nlab/revision/reverse+category/1">v1</a>, <a href="https://ncatlab.org/nlab/show/reverse+category">current</a>
Started this since it was mentioned elsewhere. So it’s just the opposite one object 2-category, isn’t it?