Applied Categorical Structures
Journal Prestige (SJR): 0.49 Number of Followers: 6 Hybrid journal (It can contain Open Access articles) ISSN (Print) 15729095  ISSN (Online) 09272852 Published by SpringerVerlag [2469 journals] 
 Weight Structures Cogenerated by Weak Cocompact Objects

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract We study tstructures generated by sets of objects which satisfy a condition weaker than the compactness. We also study weight structures cogenerated by sets of objects satisfying the dual condition. Under some appropriate hypothesis, it turns out that the weight structure is right adjacent to the tstructure.
PubDate: 20221001

 Grothendieck Enriched Categories

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract In this paper, we introduce the notion of Grothendieck enriched categories for categories enriched over a sufficiently nice Grothendieck monoidal category \(\mathcal {V}\) , generalizing the classical notion of Grothendieck categories. Then we establish the GabrielPopescu type theorem for Grothendieck enriched categories. We also prove that the property of being Grothendieck enriched categories is preserved under the change of the base monoidal categories by a monoidal right adjoint functor. In particular, if we take as \(\mathcal {V}\) the monoidal category of complexes of abelian groups, we obtain the notion of Grothendieck dg categories. As an application of the main results, we see that the dg category of complexes of quasicoherent sheaves on a quasicompact and quasiseparated scheme is an example of Grothendieck dg categories.
PubDate: 20221001

 Morphisms and Pushouts in Compact Normal Joinfit Frames

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract \(\mathfrak {KNJ}\) is the category of compact normal joinfit frames and frame homomorphisms and \(\mathfrak {KReg}\) is the coreflective subcategory of compact regular frames. This work investigates \(\mathfrak {KNJ}\) through its interaction with \(\mathfrak {KReg}\) via the coreflection \(\rho \) . A \(\mathfrak {KNJ}\) morphism \(\phi : F \longrightarrow M\) is \(\mathcal {P}\) essential if \(\phi \) is skeletal and the map between the frames of polars, \(\mathcal {P}(\phi ): \mathcal {P}F \longrightarrow \mathcal {P}M\) defined by \(\mathcal {P}(\phi )(p)=\phi (p)^{\perp \perp }\) , is a boolean isomorphism. The \(\mathcal {P}\) essential morphisms in \(\mathfrak {KNJ}\) are closely related to the essential embeddings in \(\mathfrak {KReg}\) . We provide a characterization of the \(\mathcal {P}\) essential morphisms in \(\mathfrak {KNJ}\) and a connection to the essential embeddings in \(\mathfrak {KReg}\) . Further results about the preservation of joinfitness, the factorization of morphisms, and monomorphisms in \(\mathfrak {KNJ}\) are provided. Moreover, in the category of \(\mathfrak {KNJ}\) objects and skeletal frame homomorphisms, \(\mathfrak {KNJS}\) , we construct for \(F \in \mathfrak {KNJ}\) and \(\phi :\rho F \longrightarrow H\) (an arbitrary \(\mathfrak {KReg}\) essential embedding of \(\rho F\) ) the \(\mathfrak {KNJS}\) pushout of \(\rho _F: \rho F \longrightarrow F\) and \(\phi : \rho F \longrightarrow H\) . Lastly, we investigate the epimorphisms and epicomplete objects in \(\mathfrak {KNJS}\) .
PubDate: 20221001

 On Continuity of Accessible Functors

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract We prove that for each locally \(\alpha \) presentable category \({\mathcal {K}}\) there exists a regular cardinal \(\gamma \) such that any \(\alpha \) accessible functor out of \({\mathcal {K}}\) (into another locally \(\alpha \) presentable category) is continuous if and only if it preserves \(\gamma \) small limits; as a consequence we obtain a new adjoint functor theorem specific to the \(\alpha \) accessible functors out of \({\mathcal {K}}\) . Afterwards we generalize these results to the enriched setting and deduce, among other things, that a small \({\mathcal {V}}\) category is accessible if and only if it is Cauchy complete.
PubDate: 20221001

 On the Composition of Three Irreducible Morphisms in the Bounded Homotopy
Category
Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract Let \(\Lambda \) be an artin algebra of finite global dimension. We study when the composition of three irreducible morphisms between indecomposable complexes in \({{\mathbf {K}}^{b}(\mathrm {proj}\,\Lambda )}\) is a nonzero morphism in the fourth power of the radical. We apply such results to prove that the composition of three irreducible morphisms between indecomposable complexes in the bounded derived category of a gentle Nakayama algebra, not selfinjective, whose ordinary quiver is an oriented cycle, belongs to the fourth power of the radical if and only if it vanishes.
PubDate: 20221001

 Projective and Reedy Model Category Structures for (Infinitesimal)
Bimodules over an Operad
Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we build explicit cofibrant and fibrant replacements. We show that these categories are right proper and under some conditions left proper. We also study the extension/restriction adjunctions.
PubDate: 20221001

 Relative Oppermann–Thomas Cluster Tilting Objects in $$(n+2)$$ ( n +
2 ) Angulated Categories
Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract Let \(\mathcal {T}\) be a klinear Homfinite \((n+2)\) angulated category with nsuspension functor \(\Sigma ^n\) , split idempotents, and Serre functor \(\mathbb {S}\) . Let T be an Oppermann–Thomas cluster tilting object in \(\mathcal {T}\) with endomorphism algebra \(\Gamma = \mathrm {End}_\mathcal {T}(T)\) . We introduce the notions of relative Oppermann–Thomas cluster tilting objects and support \(\tau _n\) tilting pairs, and show that there is an bijection between the set of isomorphism classes of basic relative Oppermann–Thomas cluster tilting objects in \(\mathcal {T}\) and the set of isomorphism classes of basic support \(\tau _n\) tilting pairs in an ncluster tilting subcategory of \(\mathrm {mod}~\Gamma \) . As applications, we recover the Yang–Zhu bijection (Trans Am Math Soc 371:387–412, 2019) and Adachi–Iyama–Reiten bijection (Compos Math 150:415–452, 2014), and we give a natural partial order for relative Oppermann–Thomas cluster tilting objects.
PubDate: 20221001

 Internal Enriched Categories

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. Then, we contextualize the new notion by comparing it to another known generalization of enrichment: that of enrichment for indexed categories. It turns out that the two notions are closely related.
PubDate: 20221001

 Maps with Discrete Fibers and the Origin of Basepoints

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract Let \({p : \mathcal {E}\rightarrow \mathcal S}\) be a hyperconnected geometric morphism. For each X in the ‘gros’ topos \(\mathcal {E}\) , there is a hyperconnected geometric morphism \({p_X : \mathcal {E}/X \rightarrow \mathcal S(X)}\) from the slice over X to the ‘petit’ topos of maps (over X) with discrete fibers. We show that if p is essential then \(p_X\) is essential for every X. The proof involves the idea of collapsing a connected subspace to a ‘basepoint’, as in Algebraic Topology, but formulated in topostheoretic terms. In case p is local, we characterize when \({p_X}\) is local for every X. This is a very restrictive property, typical of toposes of spaces of dimension \({\le 1}\) .
PubDate: 20221001

 Matrix Taxonomy and Bourn Localization

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract In a recent paper (Hoefnagel et al. in Theory Appl Categ 38:737–790, 2022), an algorithm has been presented for determining implications between a particular kind of category theoretic property represented by matrices—the so called ‘matrix properties’. In this paper we extend this algorithm to include matrix properties involving pointedness of a category, such as the properties of a category to be unital, strongly unital or subtractive, for example. Moreover, this extended algorithm can also be used to determine whether a given matrix property is the Bourn localization of another, thus leading to new characterizations of Mal’tsev, majority and arithmetical categories. Using a computer implementation of our algorithm, we can display all such properties given by matrices of fixed dimensions, grouped according to their Bourn localizations, as well as the implications between them.
PubDate: 20220921

 2Limits and 2Terminal Objects are too Different

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract In ordinary category theory, limits are known to be equivalent to terminal objects in the slice category of cones. In this paper, we prove that the 2categorical analogues of this theorem relating 2limits and 2terminal objects in the various choices of slice 2categories of 2cones are false. Furthermore we show that, even when weakening the 2cones to pseudo or laxnatural transformations, or considering bitype limits and biterminal objects, there is still no such correspondence.
PubDate: 20220908

 A Topological Duality for Monotone Expansions of Semilattices

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract In this paper we provide a Stone style duality for monotone semilattices by using the topological duality developed in S. Celani, L.J. González (Appl Categ Struct 28:853–875, 2020) for semilattices together with a topological description of their canonical extension. As an application of this duality we obtain a characterization of the congruences of monotone semilattices by means of monotone lowerVietoristype topologies.
PubDate: 20220829

 The Representation Theory of Brauer Categories I: Triangular Categories

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: This is the first in a series of papers in which we study representations of the Brauer category and its allies. We define a general notion of triangular category that abstracts key properties of the triangular decomposition of a semisimple complex Lie algebra, and develop a highest weight theory for them. We show that the Brauer category, the partition category, and a number of related diagram categories admit this structure.
PubDate: 20220813

 Quotients of Span Categories that are Allegories and the Representation of
Regular Categories
Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract We consider the ordinary category \(\mathsf {Span}({\mathcal {C}})\) of (isomorphism classes of) spans of morphisms in a category \(\mathcal {C}\) with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of \(\mathsf {Span}({\mathcal {C}})\) to be an allegory. In particular, when \({\mathcal {C}}\) carries a pullbackstable, but not necessarily proper, \(({\mathcal {E}},{\mathcal {M}})\) factorization system, we establish a quotient category \(\mathsf {Span}_{{\mathcal {E}}}({\mathcal {C}})\) that is isomorphic to the category \(\mathsf {Rel}_{{\mathcal {M}}}({\mathcal {C}})\) of \({\mathcal {M}}\) relations in \({\mathcal {C}}\) , and show that it is a (unitary and tabular) allegory precisely when \({\mathcal {M}}\) is a class of monomorphisms in \({\mathcal {C}}\) . Without the restriction to monomorphisms, one can still find a least pullbackstable and compositionclosed class \({\mathcal {E}}_{\bullet }\) containing \(\mathcal E\) such that \(\mathsf {Span}_{{\mathcal {E}}_{\bullet }}({\mathcal {C}})\) is a unitary and tabular allegory. In this way one obtains a left adjoint to the 2functor that assigns to every unitary tabular allegory the regular category of its Lawverian maps. With the FreydScedrov Representation Theorem for regular categories, we conclude that every finitely complete category with a stable factorization system has a reflection into the 2category of all regular categories.
PubDate: 20220801

 Covariant Isotropy of Grothendieck Toposes and Extensive Categories

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract We provide an explicit characterization of the covariant isotropy group of any Grothendieck topos, i.e. the group of (extended) inner automorphisms of any sheaf over a small site. In order to do so, we first extend previous techniques for computing covariant isotropy from locally finitely presentable categories to locally presentable categories. As a consequence, we also obtain an explicit characterization of the centre of a Grothendieck topos, i.e. the automorphism group of its identity functor. We conclude by providing a more categorical approach to show that these characterizations also extend to any extensive category.
PubDate: 20220801
DOI: 10.1007/s10485022096740

 Finite Distributive Semilattices

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract The present article aims to develop a categorical duality for the category of finite distributive joinsemilattices and \(\wedge \) homomorphisms (maps that preserve the joins and the meets, when they exist). This dual equivalence is a generalization of the famous categorical duality given by Birkhoff for finite distributive lattices. Moreover, we show that every finite distributive semilattice is a Hilbert algebra with supremum. We obtain some applications from the dual equivalence. We provide a dual description of the 1–1 and onto \(\wedge \) homomorphisms, and we obtain a dual characterization of some subalgebras. Finally, we present a representation for the class of finite semiboolean algebras.
PubDate: 20220801
DOI: 10.1007/s10485021096693

 Compatibility of tStructures in a Semiorthogonal Decomposition

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract We describe how to obtain a global tstructure from a semiorthogonal decomposition with compatible tstructures on every component. This result is used to generalize a wellknown theorem of Bondal on full strong exceptional sequences.
PubDate: 20220801
DOI: 10.1007/s10485022096722

 Kan Extensions are Partial Colimits

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract One way of interpreting a left Kan extension is as taking a kind of “partial colimit”, whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the partial evaluations sitting in the socalled bar construction of monads. The (pseudo)monads of interest for forming colimits are the monad of diagrams and the monad of small presheaves, both on the (huge) category CAT of locally small categories. Throughout, particular care is taken to handle size issues, which are notoriously delicate in the context of free cocompletion. We spell out, with all 2dimensional details, the structure maps of these pseudomonads. Then, based on a detailed general proof of how the restrictionofscalars construction of monads extends to the case of pseudoalgebras over pseudomonads, we consider a morphism of monads between them, which we call image. This morphism allows in particular to generalize the idea of confinal functors, i.e. of functors which leave colimits invariant in an absolute way. This generalization includes the concept of absolute colimit as a special case. The main result of this paper spells out how a pointwise left Kan extension of a diagram corresponds precisely to a partial evaluation of its colimit. This categorical result is analogous to what happens in the case of probability monads, where a conditional expectation of a random variable corresponds to a partial evaluation of its center of mass.
PubDate: 20220801
DOI: 10.1007/s10485021096719

 Abelian Categories from Triangulated Categories via
Nakaoka–Palu’s Localization
Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract The aim of this paper is to provide an expansion of Abe–Nakaoka’s heart construction to the following two different realizations of the module category over the endomorphism ring of a rigid object in a triangulated category: Buan–Marsh’s localization and Iyama–Yoshino’s subfactor. Our method depends on a modification of Nakaoka–Palu’s HTCP localization, a Gabriel–Zisman localization of extriangulated categories which is also realized as a subfactor of the original ones. Besides of the heart construction, our generalized HTCP localization involves the following phenomena: (1) stable category with respect to a class of objects; (2) recollement of triangulated categories; (3) recollement of abelian categories under a certain assumption.
PubDate: 20220801
DOI: 10.1007/s10485021096684

 Torsion Theories and Coverings of VGroups

Free preprint version: Loading...Rate this result: What is this?Please help us test our new preprint finding feature by giving the preprint link a rating.
A 5 star rating indicates the linked preprint has the exact same content as the published article.
Abstract: Abstract For a commutative, unital and integral quantale V, we generalize to Vgroups the results developed by Gran and Michel for preordered groups. We first of all show that, in the category V \(\mathsf {Grp}\) of Vgroups, there exists a torsion theory whose torsion and torsionfree subcategories are given by those of indiscrete and separated Vgroups, respectively. It turns out that this torsion theory induces a monotonelight factorization system that we characterize, and it is then possible to describe the coverings in V \(\mathsf {Grp}\) . We next classify these coverings as internal actions of a Galois groupoid. Finally, we observe that the subcategory of separated Vgroups is also a torsionfree subcategory for a pretorsion theory whose torsion subcategory is the one of symmetric Vgroups. As recently proved by Clementino and Montoli, this latter category is actually not only coreflective, as it is the case for any torsion subcategory, but also reflective.
PubDate: 20220801
DOI: 10.1007/s1048502109670w
