Soloviev Spiiran Proof of a conjecture of S.Mac Lane and some its algorithmic consequences....  Home/Search
Context
Related
| dur.ac.uk/~dcs7ttg...rgeimaclane.ps.gz dur.ac.uk/~dcs0svs/ctcs6a.ps.gz irit.fr/ACTIVITES/solovi...ctcs6a.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dur.ac.uk/~dcs7ttg...publications (more) From: dur.ac.uk/~dcs0svs/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: coherence theorem. In [20] R.Voreadou presented a description all non-equivalent pairs of canonical maps (non-commutative diagrams in F(A) ) in terms of two classes W 0 and W . The class W 0 was the class of "generating" pairs, in the sense, that all the pairs of W were obtained from the pairs belonging to W 0 by certain rules. According to R.Voreadou, two canonical maps are not equivalent iff they belong to W . R.Voreadou's method was 1) to prove an "abstract coherence" theorem (in our terms, ... (Update)
Similar documents (at the sentence level):
27.1%: Proof of a Conjecture of S. Mac Lane - Soloviev (1996) (Correct)
Active bibliography (related documents): More All
0.5: A Complete Axiom System for Isomorphism of Types in Closed.. - Soloviev (1993) (Correct)
0.5: Coherence in Category Theory and the - Church-Rosser Property Barry (Correct)
0.5: Coherence in Category Theory and the Church-Rosser Property - Jay (1993) (Correct)
Similar documents based on text: More All
0.3: The Strength of Mac Lane Set Theory - Mathias (Correct)
0.1: *-Autonomous Categories: Once More Around The Track - Barr (Correct)
0.1: Chu I: cofree equivalences, dualities and *-autonomous categories - Pavlovic (1993) (Correct)
BibTeX entry: (Update)
@misc{ spiiran-proof,
author = "Soloviev Spiiran",
title = "Proof of a conjecture of S.Mac Lane and some its algorithmic consequences.
(extended )",
url = "citeseer.ist.psu.edu/136323.html" }
Citations (may not include all citations):35 Linear logic and lazy computation (context) - Girard, Lafont - 1987
24 Coherence in Closed Categories (context) - Kelly, Lane - 1971
20 Studies in Logic and the Foundations of Mathematics (context) - Szabo, Proofs - 1978
17 Deductive Systems and Categories (context) - Lambek - 1968
13 Invariance and -definability (context) - Statman - 1982
8 Annals of Pure and Applied Logic (context) - Soloviev, of et al. - 1997
6 The structure of free closed categories (context) - Jay - 1990
6 A generalization of the functorial calculus (context) - Eilenberg, Kelly - 1966
5 Closed categories and Proof Theory (context) - Mints - 1981
4 Coherence and non-commutative diagrams in closed categories (context) - Voreadou - 1977
2 with Appendix by Po-Hsuang Chu (context) - Barr, Categories - 1979
2 Topology and Logic as a Source of Algebra (context) - Lane - 1976
2 Lecture Notes in Math (context) - Lambek, Categories - 1969
2 Coherence in Category Theory and the Church-Rosser property - Jay
2 the conditions of full coherence in closed categories (context) - Soloviev - 1990
2 A cut-elimination theorem (context) - Kelly
1 Springer Lecture Notes in Comp (context) - Soloviev, of et al. - 1995
Documents on the same site (http://www.dur.ac.uk/~dcs7ttg/publications.html): More
A Deciding Algorithm for Linear Isomorphism of Types with.. - Andreev, Soloviev (1997) (Correct)
A Higher-order Calculus and Theory Abstraction - Luo (1988) (Correct)
ECC, an Extended Calculus of Constructions - Luo (1989) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC