van Oosten, Jaap The modified realizability topos. (English) Zbl 0882.03059 J. Pure Appl. Algebra 116, No. 1-3, 273-289 (1997). Reviewer: A.Kock (Aarhus) MSC: 03F55 03G30 18B25 PDF BibTeX XML Cite \textit{J. van Oosten}, J. Pure Appl. Algebra 116, No. 1--3, 273--289 (1997; Zbl 0882.03059) Full Text: DOI
Olivier, Jean-Pierre; Serrato, Dany Peirce allegories. Identities involving transitive elements and symmetrical ones. (English) Zbl 0867.18003 J. Pure Appl. Algebra 116, No. 1-3, 249-271 (1997). MSC: 18B10 03G15 03E72 03E20 06A15 PDF BibTeX XML Cite \textit{J.-P. Olivier} and \textit{D. Serrato}, J. Pure Appl. Algebra 116, No. 1--3, 249--271 (1997; Zbl 0867.18003) Full Text: DOI
Lambek, J. Relations in operational categories. (English) Zbl 0870.18004 J. Pure Appl. Algebra 116, No. 1-3, 221-248 (1997). Reviewer: H.-P.Yu (Emory) MSC: 18B10 PDF BibTeX XML Cite \textit{J. Lambek}, J. Pure Appl. Algebra 116, No. 1--3, 221--248 (1997; Zbl 0870.18004) Full Text: DOI
Johnstone, Peter Cartesian monads on toposes. (English) Zbl 0881.18001 J. Pure Appl. Algebra 116, No. 1-3, 199-220 (1997). Reviewer: A.Kock (Aarhus) MSC: 18B25 08B99 18C15 06E99 PDF BibTeX XML Cite \textit{P. Johnstone}, J. Pure Appl. Algebra 116, No. 1--3, 199--220 (1997; Zbl 0881.18001) Full Text: DOI
Jibladze, Mamuka A presentation of the initial lift-algebra. (English) Zbl 0879.18006 J. Pure Appl. Algebra 116, No. 1-3, 185-198 (1997). Reviewer: S.V.Solov’ev (Durham) MSC: 18B25 03G30 68Q55 PDF BibTeX XML Cite \textit{M. Jibladze}, J. Pure Appl. Algebra 116, No. 1--3, 185--198 (1997; Zbl 0879.18006) Full Text: DOI
Jay, C. B. Finite objects in a locos. (English) Zbl 0893.18003 J. Pure Appl. Algebra 116, No. 1-3, 169-183 (1997). Reviewer: M.Bunge (Genova) MSC: 18B25 03G30 18A99 18B20 PDF BibTeX XML Cite \textit{C. B. Jay}, J. Pure Appl. Algebra 116, No. 1--3, 169--183 (1997; Zbl 0893.18003) Full Text: DOI
Hu, Hongde; Pelletier, J. Wick On regular monomorphisms in weakly locally presentable categories. (English) Zbl 0878.18001 J. Pure Appl. Algebra 116, No. 1-3, 163-168 (1997). Reviewer: W.Tholen (Downsview) MSC: 18A99 18E10 18G05 18A40 PDF BibTeX XML Cite \textit{H. Hu} and \textit{J. W. Pelletier}, J. Pure Appl. Algebra 116, No. 1--3, 163--168 (1997; Zbl 0878.18001) Full Text: DOI
Fiore, Marcelo P.; Rosolini, Giuseppe Two models of synthetic domain theory. (English) Zbl 0879.18007 J. Pure Appl. Algebra 116, No. 1-3, 151-162 (1997). Reviewer: P.Bankston (Milwaukee) MSC: 18B25 03G30 68Q55 PDF BibTeX XML Cite \textit{M. P. Fiore} and \textit{G. Rosolini}, J. Pure Appl. Algebra 116, No. 1--3, 151--162 (1997; Zbl 0879.18007) Full Text: DOI
Elmendorf, A. D.; May, J. P. Algebras over equivariant sphere spectra. (English) Zbl 0891.55014 J. Pure Appl. Algebra 116, No. 1-3, 139-149 (1997). Reviewer: R.Vogt (Osnabrück) MSC: 55P42 55P91 PDF BibTeX XML Cite \textit{A. D. Elmendorf} and \textit{J. P. May}, J. Pure Appl. Algebra 116, No. 1--3, 139--149 (1997; Zbl 0891.55014) Full Text: DOI
Dehornoy, Patrick Groups with a complemented presentation. (English) Zbl 0870.20023 J. Pure Appl. Algebra 116, No. 1-3, 115-137 (1997). Reviewer: S.C.Althoen (Flint) MSC: 20F05 20F10 20F36 PDF BibTeX XML Cite \textit{P. Dehornoy}, J. Pure Appl. Algebra 116, No. 1--3, 115--137 (1997; Zbl 0870.20023) Full Text: DOI
Bunge, Marta; Moerdijk, Ieke On the construction of the Grothendieck fundamental group of a topos by paths. (English) Zbl 0876.18002 J. Pure Appl. Algebra 116, No. 1-3, 99-113 (1997). Reviewer: K.I.Rosenthal (Schenectady) MSC: 18B25 57M05 18F20 PDF BibTeX XML Cite \textit{M. Bunge} and \textit{I. Moerdijk}, J. Pure Appl. Algebra 116, No. 1--3, 99--113 (1997; Zbl 0876.18002) Full Text: DOI
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. Categories for computation in context and unified logic. (English) Zbl 0879.03021 J. Pure Appl. Algebra 116, No. 1-3, 49-98 (1997). Reviewer: S.V.Solov’ev (Durham) MSC: 03G30 03F05 18D25 03F07 18D15 PDF BibTeX XML Cite \textit{R. F. Blute} et al., J. Pure Appl. Algebra 116, No. 1--3, 49--98 (1997; Zbl 0879.03021) Full Text: DOI
Betti, Renato Adjointness in descent theory. (English) Zbl 0869.18004 J. Pure Appl. Algebra 116, No. 1-3, 41-47 (1997). Reviewer: R.H.Street (North Ryde) MSC: 18D35 18C20 18A20 PDF BibTeX XML Cite \textit{R. Betti}, J. Pure Appl. Algebra 116, No. 1--3, 41--47 (1997; Zbl 0869.18004) Full Text: DOI
Banaschewski, Bernhard; Mulvey, Christopher J. A constructive proof of the Stone-Weierstrass theorem. (English) Zbl 0873.46017 J. Pure Appl. Algebra 116, No. 1-3, 25-40 (1997). MSC: 46E25 18B25 54B40 PDF BibTeX XML Cite \textit{B. Banaschewski} and \textit{C. J. Mulvey}, J. Pure Appl. Algebra 116, No. 1--3, 25--40 (1997; Zbl 0873.46017) Full Text: DOI
Adámek, Jiří; Rosický, Jiří Finite models of sketches. (English) Zbl 0867.18005 J. Pure Appl. Algebra 116, No. 1-3, 3-23 (1997). Reviewer: V.Koubek (Praha) MSC: 18C99 03C13 18A30 18A10 PDF BibTeX XML Cite \textit{J. Adámek} and \textit{J. Rosický}, J. Pure Appl. Algebra 116, No. 1--3, 3--23 (1997; Zbl 0867.18005) Full Text: DOI
Townsend, Chris Localic Priestley duality. (English) Zbl 0872.18003 J. Pure Appl. Algebra 116, No. 1-3, 323-335 (1997). Reviewer: P.T.Johnstone (Cambridge) MSC: 18B30 54B30 06E15 06D05 PDF BibTeX XML Cite \textit{C. Townsend}, J. Pure Appl. Algebra 116, No. 1--3, 323--335 (1997; Zbl 0872.18003) Full Text: DOI
Piessens, Frank; Steegmans, Eric Proving semantical equivalence of data specifications. (English) Zbl 0867.68080 J. Pure Appl. Algebra 116, No. 1-3, 291-322 (1997). Reviewer: J.Rosický (Brno) MSC: 68Q65 18C10 18A35 08A55 68P15 68T15 18A25 PDF BibTeX XML Cite \textit{F. Piessens} and \textit{E. Steegmans}, J. Pure Appl. Algebra 116, No. 1--3, 291--322 (1997; Zbl 0867.68080) Full Text: DOI
Johnstone, P. T. (ed.) Special volume on the occasion of the 60th birthday of Prof. Peter J. Freyd. (English) Zbl 0864.00029 J. Pure Appl. Algebra 116, No. 1-3, 337 p. (1997). MSC: 00B15 00B30 PDF BibTeX XML Cite \textit{P. T. Johnstone} (ed.), J. Pure Appl. Algebra 116, No. 1--3, 337~p. (1997; Zbl 0864.00029)