范畴论
For any graded commutative noetherian ring, where the grading group is abelian and where commutativity is allowed to hold in a quite general sense, we establish an inclusion-preserving bijection between, on the one hand, the twist-closed…
We give an abstract categorical treatment of Plonka sums and products using lax and oplax morphisms of monads. Plonka sums were originally defined as operations on algebras of regular theories. Their arities are sup-semilattices. It turns…
In this paper we construct "structural" pre-braidings characterizing different algebraic structures: a rack, an associative algebra, a Leibniz algebra and their representations. Some of these pre-braidings seem original. On the other hand,…
We consider the derived category of a specific non-Noetherian ring \Lambda, and show that there are objects in D(\Lambda) that are not Bousfield equivalent to any module. This answers a question posed by Dwyer and Palmieri.
In finitely cocomplete homological categories, co-smash products give rise to (possibly higher-order) commutators of subobjects. We use binary and ternary co-smash products and the associated commutators to give characterisations of…
We prove a certain proposition which states a relationship between coverings of small categories and nerves. As its application, we prove that for a covering $\map{P}{E}{B}$ of finite categories, the zeta function of $E$ is the zeta…
A locally small category E is totally distributive (as defined by Rosebrugh-Wood) if there exists a string of adjoint functors t -| c -| y, where y : E --> E^ is the Yoneda embedding. Saying that E is lex totally distributive if, moreover,…
We define a monad M on a category of measurable bornological sets, and we show how this monad gives rise to a theory of vector-valued integration that is related to the notion of Pettis integral. We show that an algebra X of this monad is a…
A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the…
We refine Funk's description of the classifying space of an inverse semigroup by replacing his *-semigroups by right generalized inverse *-semigroups. Our proof uses the idea that presheaves of sets over meet semilattices may be…
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…
Topos approaches to quantum foundations are described in a unified way by means of spectral bundles, where the base space is a space of contexts and each fibre is its spectrum. Differences in variance are due to the bundle being a fibration…
The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the…
We introduce a trichromatic graphical calculus for quantum computing. The generators represent three complementary observables that are treated on equal footing, hence reflecting the symmetries of the Bloch sphere. We derive the Euler angle…
From the analogue of Boehm's Theorem proved for the typed lambda calculus, without product types and with them, it is inferred that every cartesian closed category that satisfies an equality between arrows not satisfied in free cartesian…
For a completely distributive quantale $L$, $L$-fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are linear or affine continuous mappings between continuous…
We give a simple algebraic description of opetopes in terms of chain complexes, and we show how this description is related to combinatorial descriptions in terms of treelike structures. More generally, we show that the chain complexes…
The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this…
This paper provides geometrical descriptions of the Frobenius monad freely generated by a single object. These descriptions are related to results connecting Frobenius algebras and topological quantum field theories. In these descriptions,…
For a finite cyclic p-group G and a discrete valuation domain R of characteristic 0 with maximal ideal pR the R[G]-permutation modules are characterized in terms of the vanishing of first degree cohomology on all sub- groups (cf. Thm. A).…