Bilimits是bifilate Objects
Bilimits are Bifinal Objects
摘要：
证明了2-函子的（lax）双极限的特征是图上的（lax）锥的2-范畴中存在极限压缩。我们还研究了双端对象的概念，并证明了一个（宽松）bilimit是一个限制的双端对象的范畴内的锥。一切都是在有标记的2-范畴的背景下发展的，这样机器就可以应用于不同层次的松弛，包括伪极限。
英文摘要：
We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a limiting bifinal object in the category of cones. Everything is developed in the context of marked 2-categories, so that the machinery can be applied to different levels of laxity, including pseudo-limits.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
