Sommaire

Preface to the special volume: “Chu spaces: theory and applications".

de Paiva, Valeria (ed.) ; Pratt, Vaughan (ed.)

Full (PDF)
p. 1-9

The Electronic Library of Mathematics
Monads of effective descent type and comonadicity.

Mesablishvili, Bachuki

Access to full text
Full (PDF)
p. 1-45

The Electronic Library of Mathematics
The Chu construction: history of an idea.

Barr, Michael

Access to full text
Full (PDF)
p. 10-16

The Electronic Library of Mathematics
Coherence of the double involution on *-autonomous categories.

Cockett, J.A.B. ; Hasegawa, M. ; Seely, R.A.G.

Access to full text
Full (PDF)
p. 17-29

The Electronic Library of Mathematics
A Parigot-style linear λ-calculus for full intuitionistic linear logic.

de Paiva, Valeria ; Ritter, Eike

Access to full text
Full (PDF)
p. 30-48

The Electronic Library of Mathematics
Action groupoid in protomodular categories.

Bourn, Dominique

Access to full text
Full (PDF)
p. 46-58

The Electronic Library of Mathematics
The Dialectica interpretation of first-order classical affine logic.

Shirahata, Masaru

Access to full text
Full (PDF)
p. 49-79

The Electronic Library of Mathematics
Inverting weak dihomotopy equivalence using homotopy continuous flow.

Gaucher, Philippe

Access to full text
Full (PDF)
p. 59-83

The Electronic Library of Mathematics
Approximable concepts, Chu spaces, and information systems.

Zhang, Guo-Qiang ; Shen, Gongqin

Access to full text
Full (PDF)
p. 79-102

The Electronic Library of Mathematics
Frobenius algebras and ambidextrous adjunctions.

Lauda, Aaron D.

Access to full text
Full (PDF)
p. 84-122

The Electronic Library of Mathematics
An extended view of the Chu-construction.

Koslowski, Jürgen

Access to full text
Full (PDF)
p. 103-126

The Electronic Library of Mathematics
Every Grothendieck topos has a one-way site.

McLarty, Colin

Access to full text
Full (PDF)
p. 123-126

The Electronic Library of Mathematics
Dialectica and Chu constructions: cousins?

de Paiva, Valeria

Access to full text
Full (PDF)
p. 127-152

The Electronic Library of Mathematics
Points of affine categories and additivity.

Carboni, A. ; Janelidze, G.

Access to full text
Full (PDF)
p. 127-131

The Electronic Library of Mathematics
Preserving homology.

Barr, Michael

Access to full text
Full (PDF)
p. 132-143

The Electronic Library of Mathematics
Thin fillers in the cubical nerves of omega-categories.

Steiner, Richard

Access to full text
Full (PDF)
p. 144-173

The Electronic Library of Mathematics
Free A∞-categories.

Lyubashenko, Volodymyr ; Manzyuk, Oleksandr

Access to full text
Full (PDF)
p. 174-205

The Electronic Library of Mathematics
A characterization of quantic quantifiers in orthomodular lattices.

Román, Leopoldo

Access to full text
Full (PDF)
p. 206-217

The Electronic Library of Mathematics
Exponentiability in lax slices of 𝒯op.

Niefield, Susan

Access to full text
Full (PDF)
p. 218-235

The Electronic Library of Mathematics
Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories.

Janelidze, Zurab

Access to full text
Full (PDF)
p. 236-261

The Electronic Library of Mathematics
Closedness properties of internal relations. II: Bourn localization.

Janelidze, Zurab

Access to full text
Full (PDF)
p. 262-282

The Electronic Library of Mathematics
Categorical structures enriched in a quantaloid: tensored and cotensored categories.

Stubbe, Isar

Access to full text
Full (PDF)
p. 283-306

The Electronic Library of Mathematics
Stable meet semilattice fibrations and free restriction categories.

Cockett, J.R.B. ; Guo, Xiuzhan

Access to full text
Full (PDF)
p. 307-341

The Electronic Library of Mathematics
TFT Construction of RCFT correlators. V: Proof of modular invariance and factorisation.

Fjelstad, Jens ; Fuchs, Jürgen ; Runkel, Ingo ; Schweigert, Christoph

Access to full text
Full (PDF)
p. 342-433

The Electronic Library of Mathematics
Spectra of finitely generated Boolean flows.

Kennison, John F.

Access to full text
Full (PDF)
p. 434-459

The Electronic Library of Mathematics
Paths in double categories.

Dawson, R. J. MacG. ; Paré, R. ; Pronk, D. A.

Access to full text
Full (PDF)
p. 460-521

The Electronic Library of Mathematics
Numerology in topoi.

Freyd, Peter

Access to full text
Full (PDF)
p. 522-528

The Electronic Library of Mathematics
Categorical representations of categorical groups.

Barrett, John W. ; Mackaay, Marco

Access to full text
Full (PDF)
p. 529-557

The Electronic Library of Mathematics
Compactifications, C(X) and ring epimorphisms.

Burgess, W.D. ; Raphael, R.

Access to full text
Full (PDF)
p. 558-584

The Electronic Library of Mathematics
On categorical crossed modules.

Carrasco, P. ; Garzon, A.R. ; Vitale, E.M.

Access to full text
Full (PDF)
p. 585-618

The Electronic Library of Mathematics
Equivalence of 2D-multitopic category and ana-bicategory.

Param Jyothi Reddy R

Access to full text
Full (PDF)
p. 619-667

The Electronic Library of Mathematics
Descent for monads.

Hofstra, Pieter ; De Marchi, Federico

Access to full text
Full (PDF)
p. 668-699

The Electronic Library of Mathematics
Topological *-autonomous categories.

Barr, Michael

Access to full text
Full (PDF)
p. 700-708

The Electronic Library of Mathematics
Quotient models of a category up to directed homotopy.

Grandis, Marco

Access to full text
Full (PDF)
p. 709-735

The Electronic Library of Mathematics
Categories of components and loop-free categories.

Haucourt, Emmanuel

Access to full text
Full (PDF)
p. 736-770

The Electronic Library of Mathematics
Pullback and finite coproduct preserving functors between categories of permutation representations.

Panchadcharam, Elango ; Street, Ross

Access to full text
Full (PDF)
p. 771-784

The Electronic Library of Mathematics
Categorified algebra and quantum mechanics.

Morton, Jeffrey

Access to full text
Full (PDF)
p. 785-854

The Electronic Library of Mathematics
A cohomological description of connections and curvature over posets.

Roberts, John E. ; Ruzzi, Giuseppe

Access to full text
Full (PDF)
p. 855-895

The Electronic Library of Mathematics
Generating families in a topos.

Kenney, Toby

Access to full text
Full (PDF)
p. 896-922

The Electronic Library of Mathematics
Copower objects and their applications to finiteness in topoi.

Kenney, Toby

Access to full text
Full (PDF)
p. 923-956

The Electronic Library of Mathematics