Related papers: Bicartesian Coherence Revisited
Let $\mathscr{C}$ be an extriangulated category with enough projectives and injectives. We give a new definition of tilting subcategories of $\mathscr{C}$ and prove it coincides with the definition given in [19]. As applications, we…
We describe the class of semi-stable model categories, which generalize the equivalence of finite products and coproducts in abelian and stable model categories, and use this to establish Morita equivalences among categories of functors. We…
We present evidence that decoherence can produce a smooth quantum-to-classical transition in nonlinear dynamical systems. High-resolution tracking of quantum and classical evolutions reveals differences in expectation values of…
The notion of quasicrossed product is introduced in the setting of G-graded quasialgebras, i.e., algebras endowed with a grading by a group G, satisfying a "quasiassociative" law. The equivalence between quasicrossed products and…
This paper treats the variation of sets. We attempt to formulate convergence and continuity of set-valued functions in a different way from the theories on sequences of sets and correspondence. In the final section, we also attempt to…
We present a simple extension of the classical Hilton-Eckmann argument classically used to prove that the endomorphism monoid of the unit object in a monoidal category is commutative. It allows us to recover in a uniform way well-known…
An algebraic investigation on bicomplex numbers is carried out here. Particularly matrices and linear maps defined on them are discussed. A new kind of cartesian product, referred to as an idempotent product, is introduced and studied. The…
A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a…
The categorial approach to evidential reasoning can be seen as a combination of the probability kinematics approach of Richard Jeffrey (1965) and the maximum (cross-) entropy inference approach of E. T. Jaynes (1957). As a consequence of…
We examine bipartite and multipartite correlations within the construct of unitary orbits. We show that the set of product states is a very small subset of set of all possible states, while all unitary orbits contain classically correlated…
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…
In this work we propose composition products in the class of complex harmonic functions so that the composition of two such functions is again a complex harmonic function. From here we begin the study of the iterations of the functions of…
This reports introduces a novel sound and complete semantics for first order intuitionistic logic, in the framework of category theory and by the computational interpretation of the logic based on the so-called Curry-Howard isomorphism.…
Replacing operators with continuous operator-valued functions, we prove time-dependent versions of well-known results on compressions and diagonals of bounded operators. The setting of smooth functions is also addressed. Our results have no…
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly's and Mac Lane's…
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…
Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the…
We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module…
We present a surprisingly new connection between two well-studied combinatorial classes: rooted connected chord diagrams on one hand, and rooted bridgeless combinatorial maps on the other hand. We describe a bijection between these two…
The concept of decoherence is defined, and discussed in a historical context. This is illustrated by some of its essential consequences which may be relevant for the interpretation of quantum theory. Various aspects of the formalism are…