In this paper, let $L$ be a completeresiduated lattice, and let {bf Set} denote the category of setsand mappings, $LF$-{bf Pos} denote the category of $LF$-posets and$LF$-monotone mappings, and $LF$-{bf CSLat}$(sqcup)$, $LF$-{bfCSLat}$(sqcap)$ denote the category of $LF$-completelattices and $LF$-join-preserving mappings and the category of$LF$-complete lattices and $LF$-meet-preserving mapping...

In [4], Hrushovski refutes a conjecture of Zilber by constructing a strongly minimal structure with certain geometric properties. The first part of this construction consists of extracting a limit structure from a class of finite structures via an adaptation of Fraïssé’s amalgamation construction; we are interested in generalizations of the construction of this limit structure. In [5], Wagner p...

We associate determinant lines to objects of the extended abelian category built out of a von Neumann category with a trace. Using this we suggest constructions of the combinatorial and the analytic L torsions which, unlike the work of the previous authors, requires no additional assumptions; in particular we do not impose the determinant class condition. The resulting torsions are elements of ...

Definition 1. The category Mot∼ is the Karoubian envelope (or idempotent completion) of the quotient of Mot ∼ by the ideal consisting of morphisms factoring through an object of the form M ⊗L, where L is the Lefschetz motive. This is a tensor additive category. If M ∈ Mot ∼ , we denote by M̄ its image in Mot∼. Lemma 1 ([6, Lemmas 5.3 and 5.4]). Let X, Y be two smooth projective irreducible k-var...

Disjunctive systems are a representation of L-domains. They use sequents of the form X ` Y , with X nite and Y pairwise disjoint. We show that for any disjunctive system, its elements ordered by inclusion form an L-domain. On the other hand, via the notion of stable neighborhoods, every L-domain can be represented as a disjunctive system. More generally, we have a categorical equivalence betwee...

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S, S] . An idempotent e of this ring will split the homotopy category: [X,Y ] ∼= e[X,Y ]⊕(1−e)[X,Y ] . We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that i...

We describe properties of compositions of isotone bonds between L-fuzzy contexts over different complete residuated lattices and we show that L-fuzzy contexts as objects and isotone bonds as arrows form a category.

In this article, we introduce the concept of co-covering which is the dual of covering concept. Then, we prove several theorems being similar to the theorems that have been de-veloped for the covering concept. For example, we provide the lifting criterion for co-coverings of a topological space X, which helps us to classify them by subgroups of the group of all homeomorphisms of X.

In their paper “Recognizing a zebra from its stripes and the stripes from ‘zebra’: the role of verbal labels in selecting category relevant information”, Perry and Lupyan (P&L) argue that sparse categories impose high selective attention demands, requiring one to choose what to attend to, compared to dense categories for which several dimensions can or must be used. Furthermore, P&L argue that ...