Selected Older Publications, 1988 - 1998
The following are a few old publications that are still requested regularly,
followed by some lectures that are sometimes cited.
- [0]
-
Michael Johnson
Pasting diagrams in n-categories with applications to coherence theorems
and categories of paths.
PhD thesis, University of Sydney, 1988.
(A (very) few curved arrows are missing because of old technology, sorry.)
[ ps.gz (~180k) | ps (~500k) ]
- [B1]
-
M. Johnson (Ed).
Algebraic Methodology and Software Technology.
Lecture Notes in Computer Science, 1349, 1997, 594pp.
- [2]
-
Michael Johnson.
The combinatorics of n-categorical pasting.
Journal of Pure and Applied Algebra, 63, 1989, 211--225.
North Holland.
- [12]
-
Michael Johnson.
Linear term rewriting systems are higher dimensional
string rewriting systems.
Proc of the Institute for Mathematics and its Applications
35, 1992, 101--110,
eds Rattray and Clark, Oxford University Press.
[ ps.gz (~58k) | ps (~140k) ]
- [13]
-
C.N.G. Dampney, Michael Johnson, G.P Monro.
A mathematical foundation for ERA.
Proc of the Institute for Mathematics and its Applications
35, 1992, 77--84,
eds Rattray and Clark, Oxford University Press.
[ ps.gz (~36k) | ps (~120k) ]
- [14]
-
Michael Johnson, R.F.C Walters.
Algebra objects and algebra families for finite limit theories.
Journal of Pure and Applied Algebra,
83, 1992, 283--293,
North Holland.
[ ps.gz (~60k) | ps (~150k) ]
- [18]
-
C.N.G. Dampney, Michael Johnson.
On the value of commutative diagrams in information
modelling.
Springer Workshops in Computing, eds Nivat et al, 1994, 47--60,
Springer, London.
[ ps.gz (~125k) | ps (~720k) ]
- [22]
-
R.J. Buckland, Michael Johnson.
ECHIDNA: A system for manipulating explicit choice
higher dimensional automata.
Lecture Notes in Computer Science, 1101, 1996, 587--591,
Springer-Verlag.
- [23]
-
Michael Johnson.
A categorical logic for information systems.
Journal of the IGPL,
4, 1996, 502-504, Oxford University Press.
[ ps.gz (~25k) | ps (~55k) ]
- [28]
-
R.J. Buckland, Michael Johnson.
Explicit choice higher dimensional automata, omega-multigraphs,
and process algebra operations.
accepted for Intensional Programming II, World Scientific.
[ ps.gz (~52k) | ps (~125k) ]
- [29]
-
Michael Johnson, Ryan Shelswell.
The logic of a tos.
Workshop on Logic, Language, Information and Computation,
1998, 5pp.
[ ps.gz (~40k) | ps (~100k) ]
Here are some major lectures that don't have published proceedings.
- On the composability of higher lax transformations,
paper presented at the special session
on Categories at the Canadian Mathematical Society
Meeting in
St John, Canada, 1998.
- Higher homotopies and higher category theory,
paper presented at the International Category
Theory Meeting, CT'97,
University of British Columbia, Vancouver, Canada, 1997.
- Pasting schemes and their topological tensor product,
paper presented at the special session on category
theory and Hopf algebras, American Math Society,
Lawrenceville, NJ, 1996.
- On computational category theory and computational algebra,
paper presented at the DIMACS conference on
Computational Category Theory,
University of Linz, Austria, 1996.
- On the search for metaphor, paper presented at the
Connectionism and Psychology, satellite conference to
the Australian Conference on Neural Networks,
University of Queensland, January, 1994.
- Category theory for information systems practitioners,
paper presented at the 3Cs (Categories, Computing and
Combinatorics) conference,
University of New South Wales, November, 1993.
- Commonwealth Science Council, Mathematical Modelling
in Circuit Design,
Category theoretic modelling of digital circuits and
systems,
University of Kandy, Sri Lanka, April, 1992.
- Categorical information system specification, paper
presented at the Applications of Category Theory to
Computer Science Symposium,
Durham, U.K., 1991
- Representing families and the free construction on 1,
paper presented at the International Category Meeting,
Como, Italy, 1990
- The Connectionist Approach (ARC Special Conference),
Sequential learning for
neural networks (presented by J Wiles),
University of Queensland, August, 1990.
- Hopfield Networks,
paper presented at the Foundations of Connectionist Modelling
conference,
University of New South Wales, July, 1989.
- An abstract approach to rewrite systems II,
paper presented at the biennial Category Theory and Computer
Science Conference,
Manchester, U.K., 1989
- Higher dimensional paths in topological spaces,
paper presented at the International Categorical Topology
Conference,
Prague, Czechoslovakia, 1988
- Coherence and the Pasting Theorem,
paper presented at the plenary session of the
International Category Meeting,
Louvain-La-Neuve, Belgium, 1987