Категорії: між кубічними та сферичними
For a finite partially ordered set I, we define an abstract polytope PI which is a cube or a globe in the cases of discrete or linear poset, respectively. For a poset P, we have built a small category ♦P with finite lower subsets in P as objects. This category ♦P = ♦P+♦P- is factorized...
Saved in:
| Date: | 2019 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Publishing house "Academperiodika"
2019
|
| Online Access: | https://ujp.bitp.kiev.ua/index.php/ujp/article/view/2019525 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Ukrainian Journal of Physics |
Institution
Ukrainian Journal of Physics| _version_ | 1863131337102196736 |
|---|---|
| author | Bespalov, Y. |
| author_facet | Bespalov, Y. |
| author_sort | Bespalov, Y. |
| baseUrl_str | https://ujp.bitp.kiev.ua/index.php/ujp/oai |
| collection | OJS |
| datestamp_date | 2019-12-20T15:19:59Z |
| description | For a finite partially ordered set I, we define an abstract polytope PI which is a cube or a globe in the cases of discrete or linear poset, respectively. For a poset P, we have built a small category ♦P with finite lower subsets in P as objects. This category ♦P = ♦P+♦P- is factorized into a product of two wide subcategories ♦P+ of faces and ♦P- of degenerations. One can imagine a degeneration from I to J ⊂ I as a projection of an abstract polytope PI to the subspace spanned by J. Morphisms in ♦P+ with fixed target I are identified with faces of PI . The composition in ♦P admits the natural geometric interpretation. On the category ♦I of presheaves on ♦I , we construct a monad of free category in two steps: for a terminal presheaf, the free category is obtained via a generalized nerve construction; in the general case, the cells of a nerve are colored by elements of the initial presheaf. Strict P-fold categories are defined as algebras over this monad. All constructions are functorial in P. The usual theory of globular and cubical higher categories can be translated in a natural way into our general context. |
| doi_str_mv | 10.15407/ujpe64.12.1125 |
| first_indexed | 2025-10-02T01:16:46Z |
| format | Article |
| id | ujp2-article-2019525 |
| institution | Ukrainian Journal of Physics |
| keywords_txt_mv | keywords |
| language | English |
| last_indexed | 2025-10-02T01:16:46Z |
| publishDate | 2019 |
| publisher | Publishing house "Academperiodika" |
| record_format | ojs |
| spelling | ujp2-article-20195252019-12-20T15:19:59Z Categories: Between Cubes and Globes. Sketch I Категорії: між кубічними та сферичними Bespalov, Y. category theory - For a finite partially ordered set I, we define an abstract polytope PI which is a cube or a globe in the cases of discrete or linear poset, respectively. For a poset P, we have built a small category ♦P with finite lower subsets in P as objects. This category ♦P = ♦P+♦P- is factorized into a product of two wide subcategories ♦P+ of faces and ♦P- of degenerations. One can imagine a degeneration from I to J ⊂ I as a projection of an abstract polytope PI to the subspace spanned by J. Morphisms in ♦P+ with fixed target I are identified with faces of PI . The composition in ♦P admits the natural geometric interpretation. On the category ♦I of presheaves on ♦I , we construct a monad of free category in two steps: for a terminal presheaf, the free category is obtained via a generalized nerve construction; in the general case, the cells of a nerve are colored by elements of the initial presheaf. Strict P-fold categories are defined as algebras over this monad. All constructions are functorial in P. The usual theory of globular and cubical higher categories can be translated in a natural way into our general context. Вивчаються багатовимiрнi категорiї, форма клiтин яких залежить вiд частково-впорядкованої множини. ♦ Publishing house "Academperiodika" 2019-12-09 Article Article Original Research Article (peer-reviewed) Оригінальна дослідницька стаття (з незалежним рецензуванням) application/pdf https://ujp.bitp.kiev.ua/index.php/ujp/article/view/2019525 10.15407/ujpe64.12.1125 Ukrainian Journal of Physics; Vol. 64 No. 12 (2019); 1125 Український фізичний журнал; Том 64 № 12 (2019); 1125 2071-0194 2071-0186 10.15407/ujpe64.12 en https://ujp.bitp.kiev.ua/index.php/ujp/article/view/2019525/1523 Copyright (c) 2019 Bogolyubov Institute for Theoretical Physics, National Academy of Sciences of Ukraine |
| spellingShingle | Bespalov, Y. Категорії: між кубічними та сферичними |
| title | Категорії: між кубічними та сферичними |
| title_alt | Categories: Between Cubes and Globes. Sketch I |
| title_full | Категорії: між кубічними та сферичними |
| title_fullStr | Категорії: між кубічними та сферичними |
| title_full_unstemmed | Категорії: між кубічними та сферичними |
| title_short | Категорії: між кубічними та сферичними |
| title_sort | категорії: між кубічними та сферичними |
| topic_facet | category theory - |
| url | https://ujp.bitp.kiev.ua/index.php/ujp/article/view/2019525 |
| work_keys_str_mv | AT bespalovy categoriesbetweencubesandglobessketchi AT bespalovy kategoríímížkubíčnimitasferičnimi |