Related papers: Exponentiability via Double Categories

It is well-known that biological phenomena are emergent. Emergent phenomena are quite interesting and amazing. However, they are difficult to be understood. Due to this difficulty, we propose a theory to describe emergence based on a…

Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…

We classify the module categories over the double (possibly twisted) of a finite group.

Let S be an arbitrary scheme. We define biextensions of 1-motives by 1-motives which we see as the geometrical origin of morphisms from the tensor product of two 1-motives to a third one. If S is the spectrum of a field of characteristic 0,…

Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is…

We give a moderately motivated exposition of exponentiable locales and the construction of exponentials in $\textsf{Loc}$, without assuming prior knowledge of exponential topological spaces or continuous posets.

We show that the positive zoom complexes, with fairly natural morphisms, form a dual category to the category of positive opetopes with contraction epimorphisms. We also show how this duality can be extended to opetopic cardinals.

In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies…

We prove that etale morphisms of schemes yield separable extensions of derived categories. We then generalize the Neeman-Thomason Localization Theorem to separable extensions of triangulated categories.

Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…

We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to…

We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.

In this paper we characterize local exponential monomials and polynomials on different types of Abelian groups and we prove Montel-type theorems for these function classes.

We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…

We give a first-order definition of key polynomials, we show the links with previous definitions, that it is relevant to study key degrees, and to use a kind of valuations that we call partially multiplicative. We also prove or reprove…

Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.

Birkhoff's variety theorem from universal algebra characterises equational subcategories of varieties. We give an analogue of Birkhoff's theorem in the setting of enrichment in categories. For a suitable notion of an equational subcategory…