R A G Seely
Department of Mathematics,
McGill University,
805 Sherbrooke St W,
Montreal, Quebec,
Canada H3A 0B9
If you want information about any of my John Abbott courses, please go to
my John Abbott
Course Home Page.
Also:
The Liberal Arts at John Abbott
Logic, Category
Theory, and Computation Seminar at McGill
Categorical
and other meetings
Translation?
The papers below are either in gzipped PostScript format (older
papers) or (more recent ones) in PDF format.
If you have trouble with PostScript,
here are some tips.
Abstracts of (selected) papers are available, linked via the word
"abstract".
A more complete list
of publications is also online.
My reviews for Math Reviews
Google
Scholar profile
What is Category
Theory?
My Research Papers OnLine
Papers on linear structure
 Proof
theory of the cut rule (CockettSeely) [Survey article,
contributed to "Categories for the Working Philosopher", (OUP, ed. Elaine Landry)]
 Revisiting
the term calculus for proofnets (Slides of talk at FMCS 2014)
 Cartesian
differential storage categories (BluteCockettSeely)
(TAC 30(2015)18, pp 620686)
(abstract)
(Slides of talk at FMCS 2012)
(Slightly
modified version for FMCS 2013)
 Linear
functors and modal logic (Slides of a talk at FMCS 2011)
 The
Faà di Bruno Construction (CockettSeely) (TAC 25(2011)15, pp.394425)
(abstract)
[Slides of
talks: CMS10, and FMCS10]
[Expanded
version for McGill talk]

Kähler Categories (BluteCockettPorterSeely)
(Cahiers,
Volume LII (2011) 253268)
(abstract)
 Cartesian
differential categories (BluteCockettSeely) (TAC 22(2009)23, pp.622672)
(abstract)
[ps.gz]
[Slides for talk at CT07:
[Full size]
[2up
version]]

Differential Categories (BluteCockettSeely) (MSCS 16(2006) pp 10491083)
(abstract)
[Slides of CMS06 talk]
[Slides of CT06 talk]
 Polarized
category theory, modules, and game semantics (CockettSeely)
(TAC 18(2007) pp 4101)
(abstract)
["2up
version"]
[Slides of FMCS04 talk]
 Coherence
of the Double Involution on *Autonomous Categories
(CockettHasegawaSeely) (TAC 17(2006) pp 1729)
(abstract)
 Modules
(CockettKoslowskiSeelyWood) (TAC 11(2003)17, pp 375396.)
(abstract)

Morphisms and modules for polybicategories
(CockettKoslowskiSeely) (TAC 11(2003)2, pp 1574.)
(abstract)
(erratum)
["2up
version"]

The logic of linear functors (BluteCockettSeely) (MSCS: 12(2002)4
pp 513539.)
(abstract)

Finite sumproduct logic (CockettSeely) (TAC 8(2001)5, pp 63  99)
(abstract)

Introduction to linear bicategories (CockettKoslowskiSeely)
(abstract)
(
"Lambekfest" MSCS:10(2000)2 pp 165203)

Feedback for linearly distributive categories: traces and fixpoints
(BluteCockettSeely)
(abstract) ("Bill(Lawvere)Fest", JPAA:154(2000) pp 2769.)

Linearly Distributive Functors (CockettSeely)
(abstract)
("BarrFest"
JPAA:143(1999) pp 155203.)
[Note change in terminology]

Weakly Distributive Categories
(CockettSeely) (JPAA 114(1997)2, pp 133173; this is the "corrected" version.)
(abstract)

Proof Theory for full intuitionistic linear logic, bilinear logic, and MIX
categories (CockettSeely) (TAC 3(1997)5, pp 85  131)
(abstract)

Categories for computation in context and unified logic
(BluteCockettSeely) (JPAA 116(1997), pp 4998)
(abstract)
(An earlier version is also available
(abstract))
 Natural
Deduction and Coherence for Weakly Distributive Categories
(BluteCockettSeelyTrimble) (JPAA 113(1996)3, pp 229296)
(abstract)
[BCST]

! and ?: Storage as Tensorial Strength
(BluteCockettSeely) (MSCS 6(1996)4, pp 313351)
(abstract)

Polymorphic linear logic and topos models
(RAG Seely) (C.R. Math. Rep. Acad. Sci. Canada  Vol. XII, No. 1, February 1990)
(abstract)

Linear logic, *autonomous categories and cofree coalgebras
(RAG Seely) (Contemporary Mathematics, Volume 92, 1989)
(abstract)
Papers on Concurrent Constraint Programming
Other papers
 Joachim
Lambek, FRSC, December 5, 1922  June 23, 2014 A tribute essay in
the Spring 2015 issue of Le Bulletin
(211), Centre de Recherches
Mathématiques (pp 1213).
[Some photos of Jim]

A categorical description of the essential structure of differential
calculus: a poster for Research Day at John Abbott College, 17 April
2013. (R.A.G. Seely) (Print version)
[The
Original A0size poster]
 Editors'
note: bibliometrics and the curators of orthodoxy  Editorial
Board of MSCS. [Full text]
 Models,
Logics, and HigherDimensional Categories: A Tribute to the Work of
Mihàly Makkai. (Bradd Hart, Thomas G. Kucera, Philip J. Scott, Robert
A.G. Seely, editors) (CRM Proceedings 53, 2011)

Language and Grammar: Studies in Mathematical Linguistics and Natural
Language. (Claudia Casadio, Philip J. Scott, and Robert A.G. Seely, editors)
(CSLI 2005)
Table of Contents
 The
Lambek Program (C. Casadio, P.J. Scott, R.A.G. Seely).
(Introduction to the volume above.)

Fock Space: a Model of Linear Exponential Types
(BlutePanangadenSeely) (a corrected version of MFPS'93 paper,
Springer LNCS 802)
(abstract)

A Logical Calculus for Polynomialtime Realizability
(CrossleyMathaiSeely, Methods of Logic in Comp Sci 1 (1994) 279298)
(abstract)

Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting,
Montreal, Canada. (R.A.G. Seely, editor, CMS.)

Graded Multicategories of Polynomialtime Realizers,
(R.A.G. Seely, Springer LNCS 389)
(abstract)
 Categorical
semantics for higher order polymorphic lambda calculus (RAG Seely,
JSL 52 (1987) No. 4, 969  989 All rights reserved; this
reproduction is by special permission for this posting only.)
 Modeling computations: a 2categorical
framework. (RAG Seely, Proc. Symposium on Logic in Computer Science, 1987,
Computer Society of the IEEE, 6571.)
 Locally Cartesian closed categories and
type theory. (RAG Seely, Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 1,
3348.)
 Hyperdoctrines, natural deduction, and the
Beck condition.
(RAG Seely, Zeitschrift f. math. Logik und Grundlagen d. Math. 29 (1983) 505542.)
 Weak adjointness in proof theory.
(RAG Seely, Proc. Durham Conf. on Applications of Sheaves, SLNM 753.)
Book Reviews
Maths and Category Theory Sites
Tools
Miscellany
The Penrose Quilt (by
L.G. Clemens)
Other quilts
For comments or help, please contact
R.A.G. Seely 

"In the realm of ideas, of mental objects, those ideas whose
properties are reproducible are called mathematical objects,
and the study of mental objects with reproducible properties
is called mathematics."

Davis and Hersh
(The Mathematical Experience, 1981)
Mathematics is the science which draws necessary conclusions.
 Benjamin
Peirce
(Linear Associative Algebra, 1870)
The Reader may here observe the Force of Numbers, which can be successfully
applied, even to those things, which one would imagine are subject to no Rules.
There are very few things which we know, which are not capable of being reduced
to a Mathematical Reasoning; and when they cannot it's a sign our knowledge of
them is very small and confused; and when a Mathematical Reasoning can be had
it's as great a folly to make use of any other, as to grope for a thing in the
dark, when you have a Candle standing by you.

John Arbuthnot (Of the Laws of Chance, 1692)
The case for my life, then, or for
that of any one else who has been a mathematician in the same sense in
which I have been one, is this: that I have added something to
knowledge, and helped others to add more; and that these somethings
have a value which differs in degree only, and not in kind, from that
of the creations of the great mathematicians, or of any other artists,
great or small, who have left some kind of memorial behind them.
 G.H. Hardy
(A
Mathematician's Apology, 1940)
"What is now proved was once only imagin'd."
 William Blake
(The
Marriage of Heaven and Hell, 1790)
A Pale Blue Dot (from Carl Sagan)
This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints
invoked by each author's copyright. In most cases, these works may not
be reposted without the explicit permission of the copyright holder.
Banff
Montreal
Melbourne
Wellington
A thoroughly modern computer
[And
an explanation:
The original picture]
AntiSpam