Applied Categorical Structures
Journal Prestige (SJR): 0.49 Number of Followers: 5 Hybrid journal (It can contain Open Access articles) ISSN (Print) 15729095  ISSN (Online) 09272852 Published by SpringerVerlag [2467 journals] 
 Semantic Factorization and Descent

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 \({\mathbb {A}}\) be a 2category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism p exists and is preserved by a suitable morphism, the factorization given by the lax descent object of the twodimensional cokernel diagram of p is up to isomorphism the same as the semantic factorization of p, either one existing if the other does. The result can be seen as a counterpart account to the celebrated Bénabou–Roubaud theorem. This leads in particular to a monadicity theorem, since it characterizes monadicity via descent. It should be noted that all the conditions on the codensity monad of p trivially hold whenever p has a left adjoint and, hence, in this case, we find monadicity to be a twodimensional exact condition on p, namely, to be an effective faithful morphism of the 2category \({\mathbb {A}}\) .
PubDate: 20221115

 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
DOI: 10.1007/s1048502209676y

 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
DOI: 10.1007/s10485022096811

 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
DOI: 10.1007/s10485022096799

 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
DOI: 10.1007/s1048502209677x

 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
DOI: 10.1007/s10485022096820

 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
DOI: 10.1007/s1048502209675z

 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
DOI: 10.1007/s10485022096731

 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
DOI: 10.1007/s1048502209678w

 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
DOI: 10.1007/s10485022096802

 2Cartesian Fibrations I: A Model for $$\infty $$ Bicategories Fibred in
$$\infty $$ Bicategories
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 notion of \(\infty \) bicategories fibred in \(\infty \) bicategories which we call 2Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled simplicial sets equipped with an additional collection of triangles containing the scaled 2simplices, which we call lean triangles, in addition to a collection of edges containing all degenerate 1simplices. We prove the existence of a left proper combinatorial simplicial model category whose fibrant objects are precisely the 2Cartesian fibrations over a chosen scaled simplicial set S. Over the terminal scaled simplicial set, this provides a new model structure modeling \(\infty \) bicategories, which we show is Quillen equivalent to Lurie’s scaled simplicial set model. We conclude by providing a characterization of 2Cartesian fibrations over an \(\infty \) bicategory. This characterization then allows us to identify those 2Cartesian fibrations arising as the coherent nerve of a fibration of \({\text {Set}}^+_{\Delta }\) enriched categories, thus showing that our definition recovers the preexisting notions of fibred 2categories.
PubDate: 20220928

 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
DOI: 10.1007/s1048502209691z

 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
DOI: 10.1007/s10485022096900

 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
DOI: 10.1007/s10485022096897

 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
DOI: 10.1007/s10485022096879

 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
