Search results for "Category theory"
showing 10 items of 1172 documents
Weak regularity and consecutive topologizations and regularizations of pretopologies
2009
Abstract L. Foged proved that a weakly regular topology on a countable set is regular. In terms of convergence theory, this means that the topological reflection Tξ of a regular pretopology ξ on a countable set is regular. It is proved that this still holds if ξ is a regular σ -compact pretopology. On the other hand, it is proved that for each n ω there is a (regular) pretopology ρ (on a set of cardinality c ) such that ( RT ) k ρ > ( RT ) n ρ for each k n and ( RT ) n ρ is a Hausdorff compact topology, where R is the reflector to regular pretopologies. It is also shown that there exists a regular pretopology of Hausdorff RT -order ⩾ ω 0 . Moreover, all these pretopologies have the property…
Marked systems and circular splicing
2007
Splicing systems are generative devices of formal languages, introduced by Head in 1987 to model biological phenomena on linear and circular DNA molecules. In this paper we introduce a special class of finite circular splicing systems named marked systems. We prove that a marked system S generates a regular circular language if and only if S satisfies a special (decidable) property. As a consequence, we show that we can decide whether a regular circular language is generated by a marked system and we characterize the structure of these regular circular languages.
From quantale algebroids to topological spaces: Fixed- and variable-basis approaches
2010
Using the category of quantale algebroids the paper considers a generalization of the classical Papert-Papert-Isbell adjunction between the categories of topological spaces and locales to partial algebraic structures. It also provides a single framework in which to treat the concepts of quasi, standard and stratified fuzzy topology.
Butterflies in a Semi-Abelian Context
2011
It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp, with respect to weak equivalences (that is, internal functors which are internally fully faithful and essentially surjective on objects). Monoidal functors can be equivalently described by a kind of weak morphisms introduced by B. Noohi under the name of butterflies. In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show th…
On certain linear operators in spaces of ultradifferentiable functions
1996
Let ω be a weight in the sense of Braun, Meise, Taylor, which defines a non-quasianalytic class. Let H be a compact subset of ℝn. It is proved that for every function ƒ on ℝn which belongs to the non-quasianalytic (ω)-class, there is an element g of the same class which is analytic on ℝn\H and such that Dαƒ(x) = Dαg(x) for every x ∈ H and α ∈ ℕ0n. A similar result is proved for functions of the Roumieu type. Continuous linear extension operators of Whitney jets with additional properties are also obtained.
On a Class of Generalized Nilpotent Groups
2002
AbstractWe explore the class B of generalized nilpotent groups in the universe c[formula] of all radical locally finite groups satisfying min-p for every prime p. We obtain that this class is the natural generalization of the class of finite nilpotent groups from the finite universe to the universe c[formula]. Moreover, the structure of B-groups is determined explicitly. It is also shown that B is a subgroup-closed c[formula]-formation and that in every c[formula]-group the Fitting subgroup is the unique maximal normal B-subgroup.
L-fuzzy syntopogenous structures, Part I: Fundamentals and application to L-fuzzy topologies, L-fuzzy proximities and L-fuzzy uniformities
2013
Abstract We introduce the concept of an L-fuzzy syntopogenous structure where L is a complete lattice endowed with an implicator ↦ : L × L → L satisfying certain properties (in particular, as L one can take an MV-algebra). As special cases our L-fuzzy syntopogenous structures contain classical Csaszar syntopogenous structures, Katsaras–Petalas fuzzy syntopogenous structures as well as fuzzy syntopogeneous structures introduced in the previous work of the second named author (A. Sostak, Fuzzy syntopogenous structures, Quaest. Math. 20 (1997) 431–461). Basic properties of the category of L-fuzzy syntopogenous spaces are studied; categories of L-fuzzy topological spaces, L-fuzzy proximity spac…
The parameterized local deduction theorem for quasivarieties of algebras and its application
1996
Let τ be an algebraic type. To each classK of τ-algebras a consequence relation ⊧ K defined on the set of τ-equations is assigned. Some weak forms of the deduction theorem for ⊧ K and their algebraic counterparts are investigated. The (relative) congruence extension property (CEP) and its variants are discussed.CEP is shown to be equivalent to a parameter-free form of the deduction theorem for the consequence ⊧ K .CEP has a strong impact on the structure ofK: for many quasivarietiesK,CEP implies thatK is actually a variety. This phenomenon is thoroughly discussed in Section 5. We also discuss first-order definability of relative principal congruences. This property is equivalent to the fact…
Homotopy limits for 2-categories
2008
AbstractWe study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2-categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits.
Quantum walks on two-dimensional grids with multiple marked locations
2015
The running time of a quantum walk search algorithm depends on both the structure of the search space (graph) and the configuration (the placement and the number) of marked locations. While the first dependence has been studied in a number of papers, the second dependence remains mostly unstudied.We study search by quantum walks on the two-dimensional grid using the algorithm of Ambainis, Kempe and Rivosh [3]. The original paper analyses one and two marked locations only. We move beyond two marked locations and study the behaviour of the algorithm for several configurations of multiple marked locations.In this paper, we prove two results showing the importance of how the marked locations ar…