Scholarlink

<p>We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad—a structure with 2-cells of all possible double-categorical shapes—equipped with all possible composition operations, coherently. We also characterize them using “implicit” double categories, which are double computads having all possible compositions of 2-cells, but no compositions of 1-cells; doubly weak double categories are then obtained by a simple representability criterion. Finally, they can also be defined by adding a “tidiness” condition to the double bicategories of Verity, or to the cubical bicategories of Garner.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Doubly Weak Double Categories

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年5月4日

查看全文
  • Aaron David Fairbanks,
  • Michael Shulman

摘要

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad—a structure with 2-cells of all possible double-categorical shapes—equipped with all possible composition operations, coherently. We also characterize them using “implicit” double categories, which are double computads having all possible compositions of 2-cells, but no compositions of 1-cells; doubly weak double categories are then obtained by a simple representability criterion. Finally, they can also be defined by adding a “tidiness” condition to the double bicategories of Verity, or to the cubical bicategories of Garner.