Every nontrivial countably productive coreflective subcategory of topological linear spaces is κ-productive for a large cardinal κ (see [10]). Unlike that case, in uniform spaces for every infinite regular cardinal κ, there are coreflective subcategories that are κ-productive and not κ-productive (see [8]). From certain points of view, the category of topological groups lies in between those ca...

Let D be a triangulated category with a cluster tilting subcategory U . The quotient category D/U is abelian; suppose that it has finite global dimension. We show that projection from D to D/U sends cluster tilting subcategories of D to support tilting subcategories of D/U , and that, in turn, support tilting subcategories of D/U can be lifted uniquely to weak cluster tilting subcategories of D.

We report on two experiments designed to examine how the similarity of retrieval-practised and not-retrieval-practised items influences the amount of retrieval-induced forgetting. Participants studied categorised item lists with each category consisting of exemplars from two different semantic subcategories. Using both the retrieval practice paradigm (Experiment 1) and the output interference p...

Stimuli that capture the central tendency of presented exemplars are often preferred-a phenomenon also known as the classic beauty-in-averageness effect. However, recent studies have shown that this effect can reverse under certain conditions. We propose that a key variable for such ugliness-in-averageness effects is the category structure of the presented exemplars. When exemplars cluster into...

Given a variety of algebras V, we study categories of algebras in V with a compatible structure of uniform space. The lattice of compatible uniformities of an algebra, Unif A, can be considered a generalization of the lattice of congruences ConA. Mal’cev properties of V influence the structure of Unif A, much as they do that of ConA. The category V[CHUnif] of complete, Hausdorff such algebras i...

Martin Sleziak HAD-classes in epireflective subcategories of Top Introduction Heredity of AD-classes References Basic definitions Hereditary coreflective subcategories of Top A generalization – epireflective subcategories AD-classes and HAD-classes Subcategories of Top All subcategories are assumed to be full and isomorphism-closed. subcategory of Top = class of topological spaces closer under ...

We investigate the conditions under which least bisimulations exist with respect to set inclusion. In particular, we describe a natural way to remove redundant pairs from a given bisimulation. We then introduce the conciseness property on process graphs, which characterizes the existence of least bisimulations under the aforementioned method. Subsequently, we consider the category of process gr...

We present a partial Max-SAT solver QMaxSAT which uses CNF encoding of Boolean cardinality constraints. The old version 0.1 was obtained by adapting a CDCL based SAT solver MiniSat to manage cardinality constraints. It was placed first in the industrial subcategory and second in the crafted subcategory of partial Max-SAT category of the 2010 Max-SAT Evaluation. The new version 0.2 is obtained b...

Let A be a topological space which is not finitely generated and CH(A) denote the coreflective hull of A in Top. We construct a generator of the coreflective subcategory SCH(A) consisting of all subspaces of spaces from CH(A) which is a prime space and has the same cardinality as A. We also show that if A and B are coreflective subcategories of Top such that the hereditary coreflective kernel o...

The category of strict omega-categories has an important full subcategory whose objects are the simple omega-categories freely generated by planar trees or by globular cardinals. We give a simple description of this subcategory in terms of chain complexes, and we give a similar description of the opposite category, the category of finite discs, in terms of cochain complexes. Berger has shown th...