Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2402.16296 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913399211819008 |
|---|---|
| author | Orendain, Juan |
| author_facet | Orendain, Juan |
| contents | The length of a double category is a numerical invariant measuring the 'work' it takes to reconstruct the double category from its globular data. The smallest possible length of a double category is 1. It is conjectured that framed bicategories are of length 1. In this paper we prove this conjecture for a particular class of framed bicategories, namely for those double categories for which all their unit squares are cartesian/opcartesian. We call these framed bicategories fully faithful/absolutely dense. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_16296 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Length of fully faithful framed bicategories Orendain, Juan Category Theory 18N10 The length of a double category is a numerical invariant measuring the 'work' it takes to reconstruct the double category from its globular data. The smallest possible length of a double category is 1. It is conjectured that framed bicategories are of length 1. In this paper we prove this conjecture for a particular class of framed bicategories, namely for those double categories for which all their unit squares are cartesian/opcartesian. We call these framed bicategories fully faithful/absolutely dense. |
| title | Length of fully faithful framed bicategories |
| topic | Category Theory 18N10 |
| url | https://arxiv.org/abs/2402.16296 |