The cubical sets model of Homotopy Type Theory was introduced by Bezem, Coquand and Huber using a particular category of presheaves. We show that this category is equivalent to a category of sets whose elements have a finite support property with respect to an action of a monoid of name substitutions; and that this is isomorphic to a category of nominal sets equipped with source and target maps...

We introduce a notion of category with feedback-withdelay, closely related to the notion of traced monoidal category, and show that the Circ construction of [15] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal et al. [12] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain ...

This paper develops a methodology which allows the correlation between the cost which is required for the application of preventive and mitigation measures dealing with accidents which occur within a railway system and the improvement of the level of safety as a result from their implementation. The safety level is expressed either quantitatively, by the decrease of “fatality risk” indicator...

We prove the following results: (1) Every group is a maximal subgroup of some free idempotent generated semigroup. (2) Every finitely presented group is a maximal subgroup of some free idempotent generated semigroup arising from a finite semigroup. (3) Every group is a maximal subgroup of some free regular idempotent generated semigroup. (4) Every finite group is a maximal subgroup of some free...

A plurality of approaches to foundational aspects of mathematics is a fact of life. Two loci of this are discussed here, the classicism/constructivism controversy over standards of proof, and the plurality of universes of discourse for mathematics arising in set theory and in category theory, whose problematic relationship is discussed. The first case illustrates the hypothesis that a sufficien...

This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through ∗autonomous monoidal categories and related structures. There is a close resemblance to convolution products and the Wiener algebra (of transforms) in functional analysis. The analysis term “kernel” (of a distribution) has also been adapted ...

The level of satisfaction with an environment differs among individuals, which may be caused by social, psychological and physical factors. One of the environmental factors affecting physical and mental satisfaction, is the thermal condition of space. In recent years, the importance of thermal comfort has been accentuated due to the climate change and global warming, increasing the number of st...

We introduce two generalizations of the full inverse symmetric semigroup ISX — the inverse semigroups PIPX and P̃IPX . Both of these semigroups have the same set of elements and contain ISX . The binary operations on PIPX and P̃IPX are two natural generalizations of the multiplication of partial permutations and each of the considered operations coincides with this multiplication when restricted ...