Categories: Between Cubes and Globes. Sketch I
DOI:
https://doi.org/10.15407/ujpe64.12.1125Keywords:
category theoryAbstract
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.
References
M.A. Batanin. Monoidal globular categories as natural environment for the theory of weak n-categories. Advances in Math. 136, 39 (1998). https://doi.org/10.1006/aima.1998.1724
M.A. Batanin. The Eckmann-Hilton argument, higher operads and En-spaces. Advances in Math. 217, 334 (2008). https://doi.org/10.1016/j.aim.2007.06.014
R. Brown, P.J. Higgins, R. Sivera. Nonabelian Algebraic Topology. Filtered spaces, Crossed Complexes, Cubical Homotopy Groupoids. EMS Tracts in Math. 15, EMS (2011). https://doi.org/10.4171/083
I. Gleason, I. Hubard. Products of abstract polytopes. J. Combinatorial Theory. Series A 157, 287 (2018). https://doi.org/10.1016/j.jcta.2018.02.002
T. Leinster. Higher Operads, Higher Categories (Cambridge University Press, 2003). https://doi.org/10.1017/CBO9780511525896
P. McMullen, E. Schulte. Abstract Regular Polytopes Encyclopedia of Mathematics and its Applications (Cambridge University Press, 2002), vol. 92. https://doi.org/10.1017/CBO9780511546686
Downloads
Published
How to Cite
Issue
Section
License
Copyright Agreement
License to Publish the Paper
Kyiv, Ukraine
The corresponding author and the co-authors (hereon referred to as the Author(s)) of the paper being submitted to the Ukrainian Journal of Physics (hereon referred to as the Paper) from one side and the Bogolyubov Institute for Theoretical Physics, National Academy of Sciences of Ukraine, represented by its Director (hereon referred to as the Publisher) from the other side have come to the following Agreement:
1. Subject of the Agreement.
The Author(s) grant(s) the Publisher the free non-exclusive right to use the Paper (of scientific, technical, or any other content) according to the terms and conditions defined by this Agreement.
2. The ways of using the Paper.
2.1. The Author(s) grant(s) the Publisher the right to use the Paper as follows.
2.1.1. To publish the Paper in the Ukrainian Journal of Physics (hereon referred to as the Journal) in original language and translated into English (the copy of the Paper approved by the Author(s) and the Publisher and accepted for publication is a constitutive part of this License Agreement).
2.1.2. To edit, adapt, and correct the Paper by approval of the Author(s).
2.1.3. To translate the Paper in the case when the Paper is written in a language different from that adopted in the Journal.
2.2. If the Author(s) has(ve) an intent to use the Paper in any other way, e.g., to publish the translated version of the Paper (except for the case defined by Section 2.1.3 of this Agreement), to post the full Paper or any its part on the web, to publish the Paper in any other editions, to include the Paper or any its part in other collections, anthologies, encyclopaedias, etc., the Author(s) should get a written permission from the Publisher.
3. License territory.
The Author(s) grant(s) the Publisher the right to use the Paper as regulated by sections 2.1.1–2.1.3 of this Agreement on the territory of Ukraine and to distribute the Paper as indispensable part of the Journal on the territory of Ukraine and other countries by means of subscription, sales, and free transfer to a third party.
4. Duration.
4.1. This Agreement is valid starting from the date of signature and acts for the entire period of the existence of the Journal.
5. Loyalty.
5.1. The Author(s) warrant(s) the Publisher that:
– he/she is the true author (co-author) of the Paper;
– copyright on the Paper was not transferred to any other party;
– the Paper has never been published before and will not be published in any other media before it is published by the Publisher (see also section 2.2);
– the Author(s) do(es) not violate any intellectual property right of other parties. If the Paper includes some materials of other parties, except for citations whose length is regulated by the scientific, informational, or critical character of the Paper, the use of such materials is in compliance with the regulations of the international law and the law of Ukraine.
6. Requisites and signatures of the Parties.
Publisher: Bogolyubov Institute for Theoretical Physics, National Academy of Sciences of Ukraine.
Address: Ukraine, Kyiv, Metrolohichna Str. 14-b.
Author: Electronic signature on behalf and with endorsement of all co-authors.
.png){kind=small}
