Finn Lawler
I'm a PhD student with
the Foundations
and Methods Group. My main interest is in category theory,
especially because of its applications to formal logic and the theory of
computation, but also because of the scope it gives for a 'structural'
approach to mathematics in general.
My supervisor
is Dr. Hugh
Gibbons.
I've been an onandoff contributor to nLab for a couple of years now. You can follow some of my
current work on my personal web there.
Contact
Email:

flawler at scss dot tcd dot ie

Office:

Lloyd
1.12

Phone:

(01) 896 3628

Publications/Reports etc.
 Classical Logic and the CurryHoward Correspondence,
Technical
Report TCDCS200855, Department of Computer Science, TCD,
2008.
[PDF]
Talks
 Monads and Theories, Talk to FMG, January 2009.
[Slides (PDF)]
 Monads and ContinuationPassing Style, Talk to FMG,
February 2008.
[Slides (PDF)]
Based on Hatcliff & Danvy, A Generic Account of
ContinuationPassing Styles, Proc. POPL '94.
[Citeseer]
 Classical Logic and CurryHoward, Talk to FMG, June 2007.
[Slides (PDF)]
The bit on p. 12 about realizability is wrong: it is not true that
realizers are isomorphic to proofs.
Links
 Maths
 nLab
Not an online encyclopedia, more of a public notebook, for researchers in higher category theory.
 The Catsters on
YouTube
Excellent minilectures on basic category theory, by Eugenia Cheng
and Simon Willerton.
 Theory and Applications of
Categories
Highquality open journal. Also reprints of
some classic works in category theory by Lawvere, Kelly and others.
 John Baez's home page
The net's largest niftiness mine.
Representative quote:
Today I'd like to talk about the history of the Earth, and then
say a bit about locally compact abelian groups. But first, a few more
words about Enceladus.
 The nCategory
Café
Group blog on higher category theory and other abstract nonsense.
 CS
 The GNU Project
Making proprietary software obsolete.
 Debian GNU/Linux
I run Debian at home.
Other Stuff
 Some notes on window managers that I have
used.
 Simple Haskell code (GPLv3) for working with prime numbers,
factorizations, etc. Based on Melissa O'Neill's now wellknown JFP
paper. Requires the
Data.Heap
module. Efficiency etc. not
guaranteed!
WebAdmin @ cs.tcd.ie