Undecidability of the Free Adjoint Construction

Applied Categorical Structures

Volumn 11, Issue 5, 2003, Pages 403-419

  Dawson, R J MacG ^a   Pare R ^b   Pronk, D A ^b  

^a SAINT MARY S UNIVERSITY   (Canada)

^b DALHOUSIE UNIVERSITY   (Canada)

Author keywords

2 category; Abacus; Free adjoint construction; Undecidability

Indexed keywords

COMPUTER SIMULATION; EQUIVALENCE CLASSES; PROBLEM SOLVING; SET THEORY;

ADJOINT CONSTRUCTION;

ALGEBRA;

EID: 0141958743     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1025712521140     Document Type: Article

References (11)

1. Dawson, R. J. MacG. and Paré, R.: What is a double category like?, Journal of Pure and Applied Algebra 168 (2002), 19-34.
2. Dawson, R. J. MacG., Paré, R. and Pronk, D. A.: Undecidability and free adjoints, in N. Callaos, F. G. Tinetti, J. M. Champarnaud and J. K. Lee (eds), Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics 2001, Vol. XIV, International Institute of Informatics and Systemics, Orlando, 2001, pp. 156-161.
3. Dawson, R. J. MacG., Paré, R. and Pronk, D. A.: Adjoining adjoints, to appear in Advances in Mathematics.
4. Dawson, R. J. MacG., Paré, R. and Pronk, D. A.: Free extensions of double categories, in preparation.
5. Dawson, R. J. MacG., Paré, R. and Pronk, D. A.: Free adjoints and spans, in preparation.
6. Gabriel, P. and Zisman, M.: Calculus of Fractions and Homotopy Theory, Springer-Verlag, New York, 1967.
7. Lambek, J.: How to program an infinite abacus, Canadian Mathematical Bulletin 4 (1961), 295-302.
8. Minsky, M. L.: Recursive unsolvability of Post's problem of 'tag' and other topics in the theory of Turing machines, Annals of Mathematics 74 (1961), 437-455.
9. Pronk, D. A.: Etendues and stacks as bicategories of fractions, Comp. Math. 102 (1996), 243-303.
10. Quillen, D.: Homotopical Algebra, Lecture Notes in Math. 43, Springer-Verlag, New York, 1967.
11. Schanuel, S. and Street, R.: The free adjunction, Cahier de Topologie et Géométrie Differentielle Catégoriques 27 (1986), 81-83.