1 problem

Matching

The limit–terminality conjecture for pseudo- and lax-cones
About 29 years old
Limit–terminality conjecture. The following two statements are equivalent:
open2-category-theory higher-category-theory limits
012

The limit–terminality conjecture for pseudo- and lax-cones