In the context of CCSK, a reversible extension CCS, we study observational equivalences that distinguish forward moves from backward ones. We present refinement notion forward-reverse bisimilarity and show it coincides with barbed congruence. also set sound axioms allowing one to reason equationally on process equivalences.

Let $X$ be a sufficiently nice scheme. We survey some recent progress on dualizing complexes. It turns out that a complex in $kinj X$ is dualizing if and only if tensor product with it induces an equivalence of categories from Murfet's new category $kmpr X$ to the category $kinj X$. In these terms, it becomes interesting to wonder how to glue such equivalences.

The Ramsey Test is considered to be the default test for acceptability of indicative conditionals. I will argue that it incompatible with some recent developments in conceptualizing conditionals, namely growing empirical evidence Relevance Hypothesis. According hypothesis, one necessary conditions an conditional its antecedent being positively probabilistically relevant consequent. source idea ...

We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak equivalences between simplicial sets is finitely accessible.

Abstract Conditionals in Mandarin can be expressed by conjunctive sentences with no overt conditional connective (Type 1: P , Q ) or a (CC) the antecedent 2: CC and/or particle (CP) consequent 3: CP ). In this paper, we focus on jiu- conditionals 3) without CCs. We assume that jiu is ambiguous between 1 (unstressed, nonexclusive, left associating) and 2 (stressed, exclusive, right associating),...