相关论文: Universal arrows to forgetful functors from catego…
A new approach is suggested to characterize algebraically automorphisms of the category of free algebras of a given variety. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category…
We establish the exponential law for suitably topologies on spaces of vector-valued smooth functions on topological groups, where smoothness is defined by using differentiability along continuous one-parameter subgroups. As an application,…
In this work, I address a primary issue with adapting categorical and algebraic concepts to functional analytic settings, the lack of free objects. Using a "normed set" and associated categories, I describe constructions of normed objects,…
In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simple forms of the \emph{comma} categories and were introduced…
In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as well as various realizability toposes, in particular, those…
In this paper we further the study of arrow algebras, simple algebraic structures inducing toposes through the tripos-to-topos construction, by defining appropriate notions of morphisms between them which correspond to morphisms of the…
The theory of algebraic extensions of Banach algebras is well established, and there are many constructions which yield interesting extensions. In particular, Cole's method for extending uniform algebras by adding square roots of functions…
We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is…
The purpose of this paper is to discuss the universal algebra theory of hom-algebras. This kind of algebra involves a linear map which twists the usual identities. We focus on hom-associative algebras and hom-Lie algebras for which we…
Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic…
We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
It is a well-known fact in K-theory that the rapidly decreasing matrices of countable size form an associative topological algebra whose set of quasi-invertible elements is open, and such that the quasi-inversion map is continuous. We…
One important class of tools in the study of the connections between algebraic and topological structures are the "Banach-Stone type theorems", which describe algebraic isomorphisms of algebras (or groups, lattices, etc.) of functions in…
A new protomodular analog of the classical criterion for the existence of a group term in the algebraic theory of a variety of universal algebras is given. To this end, the notion of a right-cancellable protomodular algebra is introduced.…
In this paper, we describe a general theory of modules over an algebra over an operad. We also study functors between categories of modules. Specializing to the operad E_d of little d-dimensional disks, we show that each (d-1)-manifold…
We introduce a category Prob of probability spaces whose objects are all probability spaces and arrows are corresponding to measurable functions satisfying an absolutely continuous requirement. We can consider a Prob-arrow as an evolving…
We analyze behaviors of generalized forgetful and Daletskii-Takhtajan's functors on perfect objects and crossed modules of Leibniz $n$-algebras. Then we give applications to homology and universal central extensions of Leibniz $n$-algebras.
We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.