Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
2 votes
0 answers
63 views

Adjoint to "strict twocategory of strict twofunctors"

Let C be the category of strict twofunctors, featuring the addition of a Grothendieck universe. Strict twocategories are categories enriched over the category of categories. C has an internal hom ...
user avatar