Author: julia9367 Format: TextI think the page is inconsistent on its use of „strict inserter“. Above it says that an inserter is strict if the diagrams are represented by an isomorphism of categories as opposed to an equivalence, so it's talking about the bilimit/limit distinction. Below it says that every strict inserter is in particular an inserter and that this is not true for general strict limits. But it is true that any limit if it exists is a bilimit (every isomorphism is an equivalence), so here the pseudo limit/strict limit distinction would be correct.
I think the page is inconsistent on its use of „strict inserter“. Above it says that an inserter is strict if the diagrams are represented by an isomorphism of categories as opposed to an equivalence, so it's talking about the bilimit/limit distinction. Below it says that every strict inserter is in particular an inserter and that this is not true for general strict limits. But it is true that any limit if it exists is a bilimit (every isomorphism is an equivalence), so here the pseudo limit/strict limit distinction would be correct.