Applied Categorical Structures最新文献

We prove that the Leibniz PROP is isomorphic as (Bbbk )-linear categories (not as monoidal categories) to the symmetric crossed presimplicial algebra (Bbbk [(Delta ^+)^{op} mathbb {S}]) where (Delta ^+) is the skeletal category of finite well-ordered sets with surjections, but the distributive law between ((Delta ^+)^{op}) and the symmetric groups (mathbb {S} = bigsqcup _{nge 1} S_n) is not the standard one.

We provide details of the proof of Lurie’s theorem on operadic Kan extensions. Along the way, we generalize the construction of monoidal envelopes of (infty )-operads to families of (infty )-operads and use it to construct the fiberwise direct sum functor, both of which we characterize by certain universal properties. Aside from their use in elaborating the proof of Lurie’s theorem, these results and constructions have their independent interest.

We prove that the category 2-(textrm{Grpd}(mathscr {C})) of internal 2-groupoids is a Birkhoff subcategory of the category (textrm{Grpd}^2(mathscr {C})) of double groupoids in a regular Mal’tsev category (mathscr {C}) with finite colimits, and we provide a simple description of the reflector. In particular, when (mathscr {C}) is a Mal’tsev variety of universal algebras, the category 2-(textrm{Grpd}(mathscr {C})) is also a Mal’tsev variety, of which we describe the corresponding algebraic theory. When (mathscr {C}) is a naturally Mal’tsev category, the reflector from (textrm{Grpd}^2(mathscr {C})) to 2-(textrm{Grpd}(mathscr {C})) has an additional property related to the commutator of equivalence relations. We prove that the category 2-(textrm{Grpd}(mathscr {C})) is semi-abelian when (mathscr {C}) is semi-abelian, and then provide sufficient conditions for 2-(textrm{Grpd}(mathscr {C})) to be action representable.

It is known that the construction of the frame of ideals from a distributive lattice induces a monad whose algebras are precisely the frames and frame homomorphisms. Using the Fakir construction of an idempotent approximation of a monad, we extend B. Jacobs’ results on lax idempotent monads and show that the sequence of monads and comonads generated by successive iterations of this ideal functor on its algebras and coalgebras do not strictly lead to a new category. We further extend this result and provide a new proof of the equivalence between distributive lattices and coherent frames by showing that when the first inductive step in the Fakir construction is the identity monad, then the ambient category is equivalent to the category of free algebras.

We introduce (omega )-catoids as generalisations of (strict) (omega )-categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rewriting. We also introduce (omega )-quantales that generalise the (omega )-Kleene algebras recently proposed for algebraic coherence proofs in higher-dimensional rewriting. We then establish correspondences between (omega )-catoids and convolution (omega )-quantales. These are related to Jónsson-Tarski-style dualisms between relational structures and lattices with operators. We extend these correspondences to ((omega,p))-catoids, catoids with a groupoid structure above some dimension, and convolution ((omega,p))-quantales, using Dedekind quantales above some dimension to capture homotopic constructions and proofs in higher-dimensional rewriting. We also specialise them to finitely decomposable ((omega, p))-catoids, an appropriate setting for defining ((omega, p))-semirings and ((omega, p))-Kleene algebras. These constructions support the systematic development and justification of (omega )-Kleene algebra and (omega )-quantale axioms, improving on the recent approach mentioned, where axioms for (omega )-Kleene algebras have been introduced in an ad hoc fashion.

In [N. Bezhanishvili and W. H. Holliday. Choice-free Stone duality. J. Symb. Log., 85(1):109–148, 2020.], the authors develop a choice-free topological duality for the algebraic category of Boolean algebras. We adapt the techniques and constructions given by Bezhanishvili and Holliday to develop a topological duality for the algebraic category of Tarski algebras without using the Axiom of Choice. Then, we show that the duality presented here for Tarski algebras is in fact a generalization of the duality given by Bezhanishvili and Holliday for Boolean algebras. We also obtain a choice-free topological duality for the algebraic category of generalized Boolean algebra.

A pseudomonad on a 2-category whose underlying endomorphism is a 2-functor can be seen as a diagram (textbf{Psmnd} rightarrow textbf{Gray}) for which weighted limits and colimits can be considered. The 2-category of pseudoalgebras, pseudomorphisms and 2-cells is such a Gray-enriched weighted limit [21], however neither the Kleisli bicategory nor the 2-category of free pseudoalgebras are the analogous weighted colimit [13]. In this paper we describe the actual weighted colimit via a presentation, and show that the comparison 2-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful. As a consequence, we see that biessential surjectivity on objects characterises left pseudoadjoints whose codomains have an ‘up to biequivalence’ version of the universal property for Kleisli objects. This motivates a homotopical study of Kleisli objects for pseudomonads, and to this end we show that the weight for Kleisli objects is cofibrant in the projective model structure on the enriched functor category ([textbf{Psmnd}^text {op} , textbf{Gray}]).

We follow the work of Aguiar (Internal categories and quantum groups. PhD Thesis, Cornell University, 1997) on internal categories and introduce simplicial objects internal to a monoidal category as certain colax monoidal functors. Then we compare three approaches to equipping them with a discrete set of vertices. We introduce based colax monoidal functors and show that under suitable conditions they are equivalent to the templicial objects defined by Lowen and Mertens (Algebr Geom Topol, 2024). We also compare templicial objects to the enriched Segal precategories appearing in Lurie ((Infinity,2)-categories and the Goodwillie calculus I. Preprint at https://arxiv.org/abs/0905.0462v2), Simpson (Homotopy theory of higher categories. New mathematical monographs, Cambridge University Press, Cambridge, vol 19, p 634, 2012, https://doi.org/10.1017/CBO9780511978111) and Bacard (Theory Appl Categ 35:1227–1267, 2020), and show that they are equivalent for cartesian monoidal categories, but not in general.

We prove that for any bisimplicial set X, the natural comparison map between the diagonal dX and the total simplicial set TX is a categorical equivalence in the sense of Joyal and Lurie.

In this paper, a notion of 0-ideals on a set is proposed and further it is shown that 0-ideals give rise to a power-enriched monad (mathbb {Z})=(({textbf{Z}},m,e)) on the category of sets, namely a 0-ideal monad. As a first application, a new characterization of approach spaces is given by verifying that the category ({mathbb {Z}})-Mon of ({mathbb {Z}})-monoids is isomorphic to the category App of approach spaces. The second application consists of two components: (i) Based on 0-ideals, a concept of approach 0-convergence spaces is introduced. (ii) By using the Kleisli extension of ({textbf{Z}}), the existence of an isomorphism between the category AConv of approach 0-convergence spaces and the category ({(mathbb {Z},2)})-Cat of relational ({mathbb {Z}})-algebras is verified. Then from the fact that ({mathbb {Z}})-Mon and ({(mathbb {Z},2)})-Cat are isomorphic, another new description of approach spaces is obtained by an isomorphism between AConv and App.