EXACT COMPLETION OF PATH CATEGORIES AND ALGEBRAIC
... the use of objects representing the power set construction that play such a central rôle in the Lawvere-Tierney theory. On the other hand, it is possible to adjoin quotients of equivalence relations at the level of type theory (known as setoids in the type theory literature) which together with the ...
... the use of objects representing the power set construction that play such a central rôle in the Lawvere-Tierney theory. On the other hand, it is possible to adjoin quotients of equivalence relations at the level of type theory (known as setoids in the type theory literature) which together with the ...
EQUIVARIANT SYMMETRIC MONOIDAL STRUCTURES 1
... H-fixed points and the G-fixed points for any G-equivariant spectrum, and morally, we should continue to think of the transfer as “summing over the Weyl group”. The source of the transfer has been a perpetual source of confusion, and the language of an F-commutative monoid can be used to describe wh ...
... H-fixed points and the G-fixed points for any G-equivariant spectrum, and morally, we should continue to think of the transfer as “summing over the Weyl group”. The source of the transfer has been a perpetual source of confusion, and the language of an F-commutative monoid can be used to describe wh ...
Folding and unfolding in periodic difference equations
... of O+ (x0 ) = (xn ), which can be denoted by ord[f0 ,...,fp−1 ] (x0 ). By P([f0 , ..., fp−1 ]) and Per([f0 , . . . , fp−1 ]) we denote the sets of periodic points and periods of [f0 , . . . , fp−1 ], respectively. Note that in discrete autonomous systems if x0 ∈ P([f0 ]), then xn ∈ P([f0 ]) for all ...
... of O+ (x0 ) = (xn ), which can be denoted by ord[f0 ,...,fp−1 ] (x0 ). By P([f0 , ..., fp−1 ]) and Per([f0 , . . . , fp−1 ]) we denote the sets of periodic points and periods of [f0 , . . . , fp−1 ], respectively. Note that in discrete autonomous systems if x0 ∈ P([f0 ]), then xn ∈ P([f0 ]) for all ...