Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
This is the first time I see the terminology “tight and loose morphisms”. Is this standard?
added cross-link with monoidal 2-category
Re. #2: the terminology was introduced in Lack and Shulman’s Enhanced 2-categories and limits for lax morphisms (in the context of F-categories, which are a special kind of double category), and has become increasingly popular in the context of double categories, since it sidesteps the ambiguity between “horizontal” and “vertical” morphisms (which are used inconsistently in the literature). I’m not sure it could yet be called “standard”, but it is also not uncommon. (Personally, I think it’s a helpful trend.)
The reference is called “Shulman’21”, but the cited paper is from 2010. Was that intended?
1 to 7 of 7