# nLab composite system

, ,

## Surveys, textbooks and lecture notes

• ,

,

, ,

• , , , ,

• ,

• ,

• ,

• ,

• and
• Axiomatizations

• ,
• -theorem

• Tools

• ,

• ,

• ,
• Structural phenomena

• Types of quantum field thories

• ,

• , ,

• examples

• ,
• ,
• , , , ,

• , ,

# Contents

## Idea

In physics given two physical system their composite is meant to be both systems regarded as a single system, but trivially so, without the two interacting.

In classical mechanics forming a composite in this sense amounts to taking the cartesian product of their phase spaces.

In quantum mechanics forming the composite amounts to taking the (non-cartesian) tensor product of the spaces of quantum states.

is conjecturally of :

(-)
in
(linear negation)
(“”)
of (“”)
over (of twist) ()
over between and
(twisted)
coinciding with ,
coinciding with up to
$(\sum_f \dashv f^\ast)$-pushforward in
(twisted-)-induced dagger of this counit(-)/
space of
with ()/
composite of this with daggered-counit followed by unit/cohomological

Last revised on September 28, 2016 at 06:08:49. See the history of this page for a list of all contributions to it.