Weak $ω$-categories as $ω$-hypergraphs
| dc.creator | Miyoshi, Hiroyuki | |
| dc.creator | Tsujishita, Toru | |
| dc.date | 2000-03-23 | |
| dc.date.accessioned | 2026-07-07T04:34:23Z | |
| dc.date.available | 2026-07-07T04:34:23Z | |
| dc.description | In this paper, firstly, we introduce a higher-dimensional analogue of hypergraphs, namely $ω$-hypergraphs. This notion is thoroughly flexible because unlike ordinary $ω$-graphs, an n-dimensional edge called an n-cell has many sources and targets. Moreover, cells have polarity, with which pasting of cells is implicitly defined. As examples, we also give some known structures in terms of $ω$-hypergraphs. Then we specify a special type of $ω$-hypergraph, namely directed $ω$-hypergraphs, which are made of cells with direction. Finally, besed on them, we construct our weak $ω$-categories. It is an $ω$-dimensional variant of the weak n-categoreis given by Baez and Dolan. We introduce $ω$-identical, $ω$-invertible and $ω$-universal cells instead of universality and balancedness of Baez-Dolan. The whole process of our definition is in parallel with the way of regarding categories as graphs with composition and identities. | |
| dc.description | 26 pages, 8 figures, written in Nov 1999 and adjusted to arXiv.org in Mar 2000; it is based on the first author's talk at CT99 in Jul 1999 | |
| dc.identifier | https://arxiv.org/abs/math/0003137 | |
| dc.identifier | http://arxiv.org/abs/math/0003137 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/58885 | |
| dc.subject | Category Theory | |
| dc.subject | Logic | |
| dc.subject | 18D05; 18D10; 03B30 | |
| dc.title | Weak $ω$-categories as $ω$-hypergraphs | |
| dc.type | text |