Related papers: Deriving Dagger Compactness
Compactons are solutions of the equations of motion that behave trivially outside a compact region. In general, the operators describing quantum fluctuations above compactons have singularities. However, we show that despite these…
We study the capture of particles advected by flows around a fixed cylinder. We derive theoretically the power law of the capture efficiency, usually obtained from data fitting only. Simulations of particle trajectories reveal that captured…
A strategy is a plan, method, or series of actions for obtaining a specified goal. A military strategy typically employs the threat or use of military force in opposition to an adversary, and is called upon where large scale force is viewed…
In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary…
In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…
Matrix stiffness expressions are derived for the particle movements in an assembly of rigid granules having compliant contacts. The derivations include stiffness terms that arise from the particle shapes at their contacts. These geometric…
We look at computational physics from an electrical engineering perspective and suggest that several concepts of mathematics, not so well-established in computational physics literature, present themselves as opportunities in the field. We…
Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…
We study the process of compactification as a topology change. It is shown how the mediating spacetime topology, or cobordism, may be simplified through surgery. Within the causal Lorentzian approach to quantum gravity, it is shown that any…
The generalization of multiplicative unitary notion from compact quantum groups to compact quantum semigroups is considered. We show why the same construction doesn't work in this case by giving examples of C*-algebras with non-trivial…
Dagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of quantum logic. This paper focuses on the category SupOMLatLin…
This paper proposes a formal cognitive framework for problem solving based on category theory. We introduce cognitive categories, which are categories with exactly one morphism between any two objects. Objects in these categories are…
We start from microscopic approach to many body physics and show the analytical steps and approximations required to arrive at the concept of quantum capacitance. These approximations are valid only in the semi-classical limit and the…
We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).
In this article, the theory of sheaves is studied from a categorical point of view. This perspective vastly generalizes the usual theory of sheaves of sets to a more abstract setting which allows us to investigate the theory of sheaves with…
We study the divided power structures over a product of operads with distributive law. We give a systematic method to characterise the divided power algebras over such a product from the structures of divided power algebra coming from each…
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for…
We propose a treatment of coordination based on the concepts of functor, argument and subcategorization. Its formalization comprises two parts which are conceptually independent. On one hand, we have extended the feature structure…
An often used model for quantum theory is to associate to every physical system a C*-algebra. From a physical point of view it is unclear why operator algebras would form a good description of nature. In this paper, we find a set of…
We introduce a general framework for analysing general probabilistic theories, which emphasises the distinction between the dynamical and probabilistic structures of a system. The dynamical structure is the set of pure states together with…