R A G Seely
Department of Mathematics,
McGill University,
805 Sherbrooke St W,
Montreal, Quebec,
Canada H3A 2K6
If you want information about any of my John Abbott courses, please go to
my John Abbott
Course Home Page.
Category Theory Seminar at McGill
Categorical
and other meetings
Translation?
The papers below are generally in gzipped PostScript format. More
recent additions are in PDF format.
If you have trouble with PostScript, I recommend installing
Ghostscript, with the
Ghostview previewer.
Alternatively, you can use this online
viewer, which will work with the *.ps.gz files below.
Abstracts of (selected) papers are available, linked via the word
"abstract".
A more complete list
of publications is also on-line.
What is Category
Theory?
My Research Papers On-Line
Papers on linear structure
- Towards
a notion of Cartesian differential storage categories (Slides of
talk at FMCS 2012)
- Linear
functors and modal logic (Slides of a talk at FMCS 2011)
- The
Faà di Bruno Construction (Cockett-Seely) (TAC 25(2011)15, pp.394-425)
(abstract)
[Slides of
talks: CMS10, and FMCS10]
[Expanded
version for McGill talk]
-
Kähler Categories (Blute-Cockett-Porter-Seely) (Cahiers, Volume LII (2011) 253-268)
(abstract)
- Cartesian
differential categories (Blute-Cockett-Seely) (TAC 22(2009)23, pp.622-672)
(abstract)
[ps.gz]
[Slides for talk at CT07:
[Full size]
[2-up
version]]
-
Differential Categories (Blute-Cockett-Seely) (MSCS 16(2006) pp 1049-1083)
(abstract)
[Slides of CMS06 talk]
[Slides
of CT06 talk]
[Slides
of CT07 talk]
- Polarized
category theory, modules, and game semantics (Cockett-Seely)
(TAC 18(2007) pp 4-101)
(abstract)
["2-up
version"]
[Slides of FMCS04 talk]
- Coherence
of the Double Involution on *-Autonomous Categories
(Cockett-Hasegawa-Seely) (TAC 17(2006) pp 17-29)
(abstract)
- Modules
(Cockett-Koslowski-Seely-Wood) (TAC 11(2003)17, pp 375-396.)
(abstract)
-
Morphisms and modules for poly-bicategories
(Cockett-Koslowski-Seely) (TAC 11(2003)2, pp 15-74.)
(abstract)
(erratum)
["2-up
version"]
-
The logic of linear functors (Blute-Cockett-Seely) (MSCS: 12(2002)4
pp 513-539.)
(abstract)
-
Finite sum-product logic (Cockett-Seely) (TAC 8(2001)5, pp 63 - 99)
(abstract)
-
Introduction to linear bicategories (Cockett-Koslowski-Seely)
(abstract)
(
"Lambekfest" MSCS:10(2000)2 pp 165-203)
-
Feedback for linearly distributive categories: traces and fixpoints
(Blute-Cockett-Seely)
(abstract) ("Bill(Lawvere)Fest", JPAA:154(2000) pp 27-69.)
-
Linearly Distributive Functors (Cockett-Seely)
(abstract)
("BarrFest"
JPAA:143(1999) pp 155-203.)
[Note change in terminology]
-
Weakly Distributive Categories
(Cockett-Seely) (JPAA 114(1997)2, pp 133-173; this is the "corrected" version.)
(abstract)
-
Proof Theory for full intuitionistic linear logic, bilinear logic, and MIX
categories (Cockett-Seely) (TAC 3(1997)5, pp 85 - 131)
(abstract)
-
Categories for computation in context and unified logic
(Blute-Cockett-Seely) (JPAA 116(1997), pp 49-98)
(abstract)
(An earlier version is also available
(abstract))
- Natural
Deduction and Coherence for Weakly Distributive Categories
(Blute-Cockett-Seely-Trimble) (JPAA 113(1996)3, pp 229-296)
(abstract)
[BCST]
-
! and ?: Storage as Tensorial Strength
(Blute-Cockett-Seely) (MSCS 6(1996)4, pp 313-351)
(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
- Editors'
note: bibliometrics and the curators of orthodoxy - Editorial
Board of MSCS. [Full text]
- Models,
Logics, and Higher-Dimensional 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
(Blute-Panangaden-Seely) (a corrected version of MFPS'93 paper,
Springer LNCS 802)
(abstract)
-
A Logical Calculus for Polynomial-time Realizability
(Crossley-Mathai-Seely, Methods of Logic in Comp Sci 1 (1994) 279-298)
(abstract)
-
Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting,
Montreal, Canada. (R.A.G. Seely, editor, CMS.)
-
Graded Multicategories of Polynomial-time 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 2-categorical
framework. (RAG Seely, Proc. Symposium on Logic in Computer Science, 1987,
Computer Society of the IEEE, 65-71.)
- Locally Cartesian closed categories and
type theory. (RAG Seely, Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 1,
33--48.)
- Hyperdoctrines, natural deduction, and the
Beck condition.
(RAG Seely, Zeitschrift f. math. Logik und Grundlagen d. Math. 29 (1983) 505-542.)
- 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
RAG Seely
(rags@math.mcgill.ca)
"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)
"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.
Wellington
Melbourne
Montreal
A thoroughly modern computer
[And
an explanation:
The original picture]
Anti-Spam
Yeah^3 (r.m.b.)
Henrietta - a Montreal band
Black Waters (A former Montreal trio)
![[BCST]](bcst.gif){kind=link}
![The original picture]](SubConsole-s.jpg){kind=link}