Titlebook: Categorical Topology; Proceedings of the L Eraldo Giuli Conference proceedings 1996 Kluwer Academic Publishers 1996 Category theory.Compact

確定

molest

時間等

減少

Concrete Categories Are Concretely Equivalent iff Their Uniquely Transportable Modifications Are StA proof of the statement in the title is given.

加劇

Dold Type Theorems in Cubical Homotopy Theory,It is shown how a generalised comparison theorem for topological spaces under a fixed space . and over a fixed space . due to the third author can be transferred to cubical homotopy theory.

jocular

A Topological Banach Space Model of Linear Logic,We will show that the category . of topological Banach balls (introduced by M. Barr [1] - [3]) is a model of the full linear logic. The cotripel ! on . is constructed from the adjointness between . and the cartesian closed category of Hausdorff topological spaces and k-continuous maps.

Jubilation

Disconnectednesses: Two Examples,We define the .. property for objects in topological categories, and prove that in a topological category the full subcategory of .. objects is a disconnectedness. We then characterize the .. objects in the categories Funsp and BiTop. In addition, we investigate disconnectednesses and .-regular morphisms in these categories.

遵循的規(guī)范

清洗

extrovert