24 results
Contributors
-
- By Mitchell Aboulafia, Frederick Adams, Marilyn McCord Adams, Robert M. Adams, Laird Addis, James W. Allard, David Allison, William P. Alston, Karl Ameriks, C. Anthony Anderson, David Leech Anderson, Lanier Anderson, Roger Ariew, David Armstrong, Denis G. Arnold, E. J. Ashworth, Margaret Atherton, Robin Attfield, Bruce Aune, Edward Wilson Averill, Jody Azzouni, Kent Bach, Andrew Bailey, Lynne Rudder Baker, Thomas R. Baldwin, Jon Barwise, George Bealer, William Bechtel, Lawrence C. Becker, Mark A. Bedau, Ernst Behler, José A. Benardete, Ermanno Bencivenga, Jan Berg, Michael Bergmann, Robert L. Bernasconi, Sven Bernecker, Bernard Berofsky, Rod Bertolet, Charles J. Beyer, Christian Beyer, Joseph Bien, Joseph Bien, Peg Birmingham, Ivan Boh, James Bohman, Daniel Bonevac, Laurence BonJour, William J. Bouwsma, Raymond D. Bradley, Myles Brand, Richard B. Brandt, Michael E. Bratman, Stephen E. Braude, Daniel Breazeale, Angela Breitenbach, Jason Bridges, David O. Brink, Gordon G. Brittan, Justin Broackes, Dan W. Brock, Aaron Bronfman, Jeffrey E. Brower, Bartosz Brozek, Anthony Brueckner, Jeffrey Bub, Lara Buchak, Otavio Bueno, Ann E. Bumpus, Robert W. Burch, John Burgess, Arthur W. Burks, Panayot Butchvarov, Robert E. Butts, Marina Bykova, Patrick Byrne, David Carr, Noël Carroll, Edward S. Casey, Victor Caston, Victor Caston, Albert Casullo, Robert L. Causey, Alan K. L. Chan, Ruth Chang, Deen K. Chatterjee, Andrew Chignell, Roderick M. Chisholm, Kelly J. Clark, E. J. Coffman, Robin Collins, Brian P. Copenhaver, John Corcoran, John Cottingham, Roger Crisp, Frederick J. Crosson, Antonio S. Cua, Phillip D. Cummins, Martin Curd, Adam Cureton, Andrew Cutrofello, Stephen Darwall, Paul Sheldon Davies, Wayne A. Davis, Timothy Joseph Day, Claudio de Almeida, Mario De Caro, Mario De Caro, John Deigh, C. F. Delaney, Daniel C. Dennett, Michael R. DePaul, Michael Detlefsen, Daniel Trent Devereux, Philip E. Devine, John M. Dillon, Martin C. Dillon, Robert DiSalle, Mary Domski, Alan Donagan, Paul Draper, Fred Dretske, Mircea Dumitru, Wilhelm Dupré, Gerald Dworkin, John Earman, Ellery Eells, Catherine Z. Elgin, Berent Enç, Ronald P. Endicott, Edward Erwin, John Etchemendy, C. Stephen Evans, Susan L. Feagin, Solomon Feferman, Richard Feldman, Arthur Fine, Maurice A. Finocchiaro, William FitzPatrick, Richard E. Flathman, Gvozden Flego, Richard Foley, Graeme Forbes, Rainer Forst, Malcolm R. Forster, Daniel Fouke, Patrick Francken, Samuel Freeman, Elizabeth Fricker, Miranda Fricker, Michael Friedman, Michael Fuerstein, Richard A. Fumerton, Alan Gabbey, Pieranna Garavaso, Daniel Garber, Jorge L. A. Garcia, Robert K. Garcia, Don Garrett, Philip Gasper, Gerald Gaus, Berys Gaut, Bernard Gert, Roger F. Gibson, Cody Gilmore, Carl Ginet, Alan H. Goldman, Alvin I. Goldman, Alfonso Gömez-Lobo, Lenn E. Goodman, Robert M. Gordon, Stefan Gosepath, Jorge J. E. Gracia, Daniel W. Graham, George A. Graham, Peter J. Graham, Richard E. Grandy, I. Grattan-Guinness, John Greco, Philip T. Grier, Nicholas Griffin, Nicholas Griffin, David A. Griffiths, Paul J. Griffiths, Stephen R. Grimm, Charles L. Griswold, Charles B. Guignon, Pete A. Y. Gunter, Dimitri Gutas, Gary Gutting, Paul Guyer, Kwame Gyekye, Oscar A. Haac, Raul Hakli, Raul Hakli, Michael Hallett, Edward C. Halper, Jean Hampton, R. James Hankinson, K. R. Hanley, Russell Hardin, Robert M. Harnish, William Harper, David Harrah, Kevin Hart, Ali Hasan, William Hasker, John Haugeland, Roger Hausheer, William Heald, Peter Heath, Richard Heck, John F. Heil, Vincent F. Hendricks, Stephen Hetherington, Francis Heylighen, Kathleen Marie Higgins, Risto Hilpinen, Harold T. Hodes, Joshua Hoffman, Alan Holland, Robert L. Holmes, Richard Holton, Brad W. Hooker, Terence E. Horgan, Tamara Horowitz, Paul Horwich, Vittorio Hösle, Paul Hoβfeld, Daniel Howard-Snyder, Frances Howard-Snyder, Anne Hudson, Deal W. Hudson, Carl A. Huffman, David L. Hull, Patricia Huntington, Thomas Hurka, Paul Hurley, Rosalind Hursthouse, Guillermo Hurtado, Ronald E. Hustwit, Sarah Hutton, Jonathan Jenkins Ichikawa, Harry A. Ide, David Ingram, Philip J. Ivanhoe, Alfred L. Ivry, Frank Jackson, Dale Jacquette, Joseph Jedwab, Richard Jeffrey, David Alan Johnson, Edward Johnson, Mark D. Jordan, Richard Joyce, Hwa Yol Jung, Robert Hillary Kane, Tomis Kapitan, Jacquelyn Ann K. Kegley, James A. Keller, Ralph Kennedy, Sergei Khoruzhii, Jaegwon Kim, Yersu Kim, Nathan L. King, Patricia Kitcher, Peter D. Klein, E. D. Klemke, Virginia Klenk, George L. Kline, Christian Klotz, Simo Knuuttila, Joseph J. Kockelmans, Konstantin Kolenda, Sebastian Tomasz Kołodziejczyk, Isaac Kramnick, Richard Kraut, Fred Kroon, Manfred Kuehn, Steven T. Kuhn, Henry E. Kyburg, John Lachs, Jennifer Lackey, Stephen E. Lahey, Andrea Lavazza, Thomas H. Leahey, Joo Heung Lee, Keith Lehrer, Dorothy Leland, Noah M. Lemos, Ernest LePore, Sarah-Jane Leslie, Isaac Levi, Andrew Levine, Alan E. Lewis, Daniel E. Little, Shu-hsien Liu, Shu-hsien Liu, Alan K. L. Chan, Brian Loar, Lawrence B. Lombard, John Longeway, Dominic McIver Lopes, Michael J. Loux, E. J. Lowe, Steven Luper, Eugene C. Luschei, William G. Lycan, David Lyons, David Macarthur, Danielle Macbeth, Scott MacDonald, Jacob L. Mackey, Louis H. Mackey, Penelope Mackie, Edward H. Madden, Penelope Maddy, G. B. Madison, Bernd Magnus, Pekka Mäkelä, Rudolf A. Makkreel, David Manley, William E. Mann (W.E.M.), Vladimir Marchenkov, Peter Markie, Jean-Pierre Marquis, Ausonio Marras, Mike W. Martin, A. P. Martinich, William L. McBride, David McCabe, Storrs McCall, Hugh J. McCann, Robert N. McCauley, John J. McDermott, Sarah McGrath, Ralph McInerny, Daniel J. McKaughan, Thomas McKay, Michael McKinsey, Brian P. McLaughlin, Ernan McMullin, Anthonie Meijers, Jack W. Meiland, William Jason Melanson, Alfred R. Mele, Joseph R. Mendola, Christopher Menzel, Michael J. Meyer, Christian B. Miller, David W. Miller, Peter Millican, Robert N. Minor, Phillip Mitsis, James A. Montmarquet, Michael S. Moore, Tim Moore, Benjamin Morison, Donald R. Morrison, Stephen J. Morse, Paul K. Moser, Alexander P. D. Mourelatos, Ian Mueller, James Bernard Murphy, Mark C. Murphy, Steven Nadler, Jan Narveson, Alan Nelson, Jerome Neu, Samuel Newlands, Kai Nielsen, Ilkka Niiniluoto, Carlos G. Noreña, Calvin G. Normore, David Fate Norton, Nikolaj Nottelmann, Donald Nute, David S. Oderberg, Steve Odin, Michael O’Rourke, Willard G. Oxtoby, Heinz Paetzold, George S. Pappas, Anthony J. Parel, Lydia Patton, R. P. Peerenboom, Francis Jeffry Pelletier, Adriaan T. Peperzak, Derk Pereboom, Jaroslav Peregrin, Glen Pettigrove, Philip Pettit, Edmund L. Pincoffs, Andrew Pinsent, Robert B. Pippin, Alvin Plantinga, Louis P. Pojman, Richard H. Popkin, John F. Post, Carl J. Posy, William J. Prior, Richard Purtill, Michael Quante, Philip L. Quinn, Philip L. Quinn, Elizabeth S. Radcliffe, Diana Raffman, Gerard Raulet, Stephen L. Read, Andrews Reath, Andrew Reisner, Nicholas Rescher, Henry S. Richardson, Robert C. Richardson, Thomas Ricketts, Wayne D. Riggs, Mark Roberts, Robert C. Roberts, Luke Robinson, Alexander Rosenberg, Gary Rosenkranz, Bernice Glatzer Rosenthal, Adina L. Roskies, William L. Rowe, T. M. Rudavsky, Michael Ruse, Bruce Russell, Lilly-Marlene Russow, Dan Ryder, R. M. Sainsbury, Joseph Salerno, Nathan Salmon, Wesley C. Salmon, Constantine Sandis, David H. Sanford, Marco Santambrogio, David Sapire, Ruth A. Saunders, Geoffrey Sayre-McCord, Charles Sayward, James P. Scanlan, Richard Schacht, Tamar Schapiro, Frederick F. Schmitt, Jerome B. Schneewind, Calvin O. Schrag, Alan D. Schrift, George F. Schumm, Jean-Loup Seban, David N. Sedley, Kenneth Seeskin, Krister Segerberg, Charlene Haddock Seigfried, Dennis M. Senchuk, James F. Sennett, William Lad Sessions, Stewart Shapiro, Tommie Shelby, Donald W. Sherburne, Christopher Shields, Roger A. Shiner, Sydney Shoemaker, Robert K. Shope, Kwong-loi Shun, Wilfried Sieg, A. John Simmons, Robert L. Simon, Marcus G. Singer, Georgette Sinkler, Walter Sinnott-Armstrong, Matti T. Sintonen, Lawrence Sklar, Brian Skyrms, Robert C. Sleigh, Michael Anthony Slote, Hans Sluga, Barry Smith, Michael Smith, Robin Smith, Robert Sokolowski, Robert C. Solomon, Marta Soniewicka, Philip Soper, Ernest Sosa, Nicholas Southwood, Paul Vincent Spade, T. L. S. Sprigge, Eric O. Springsted, George J. Stack, Rebecca Stangl, Jason Stanley, Florian Steinberger, Sören Stenlund, Christopher Stephens, James P. Sterba, Josef Stern, Matthias Steup, M. A. Stewart, Leopold Stubenberg, Edith Dudley Sulla, Frederick Suppe, Jere Paul Surber, David George Sussman, Sigrún Svavarsdóttir, Zeno G. Swijtink, Richard Swinburne, Charles C. Taliaferro, Robert B. Talisse, John Tasioulas, Paul Teller, Larry S. Temkin, Mark Textor, H. S. Thayer, Peter Thielke, Alan Thomas, Amie L. Thomasson, Katherine Thomson-Jones, Joshua C. Thurow, Vzalerie Tiberius, Terrence N. Tice, Paul Tidman, Mark C. Timmons, William Tolhurst, James E. Tomberlin, Rosemarie Tong, Lawrence Torcello, Kelly Trogdon, J. D. Trout, Robert E. Tully, Raimo Tuomela, John Turri, Martin M. Tweedale, Thomas Uebel, Jennifer Uleman, James Van Cleve, Harry van der Linden, Peter van Inwagen, Bryan W. Van Norden, René van Woudenberg, Donald Phillip Verene, Samantha Vice, Thomas Vinci, Donald Wayne Viney, Barbara Von Eckardt, Peter B. M. Vranas, Steven J. Wagner, William J. Wainwright, Paul E. Walker, Robert E. Wall, Craig Walton, Douglas Walton, Eric Watkins, Richard A. Watson, Michael V. Wedin, Rudolph H. Weingartner, Paul Weirich, Paul J. Weithman, Carl Wellman, Howard Wettstein, Samuel C. Wheeler, Stephen A. White, Jennifer Whiting, Edward R. Wierenga, Michael Williams, Fred Wilson, W. Kent Wilson, Kenneth P. Winkler, John F. Wippel, Jan Woleński, Allan B. Wolter, Nicholas P. Wolterstorff, Rega Wood, W. Jay Wood, Paul Woodruff, Alison Wylie, Gideon Yaffe, Takashi Yagisawa, Yutaka Yamamoto, Keith E. Yandell, Xiaomei Yang, Dean Zimmerman, Günter Zoller, Catherine Zuckert, Michael Zuckert, Jack A. Zupko (J.A.Z.)
- Edited by Robert Audi, University of Notre Dame, Indiana
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
1 - Categories
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 1-33
-
- Chapter
- Export citation
-
Summary
This chapter gives the definition of ‘category’ in Section 1.1, and follows that by four sections devoted entirely to examples of categories of various kinds. If you have never met the notion of a category before, you should quite quickly read through Definition 1.1.1 and then go to Section 1.2. There you will find some examples of categories that you are familiar with, although you may not have recognized the categorical structure before. In this way you will begin to see what Definition 1.1.1 is getting at. After that you can move around the chapter as you like.
Remember that it is probably better not to start at this page and read each word, sentence, paragraph, …, in turn. Move around a bit. If there is something you don't understand, or don't see the point of, then leave it for a while and come back to it later.
Life isn't linear, but written words are.
Categories defined
This section contains the definition of ‘category’, follows that with a few bits and pieces, and concludes with a discussion of some examples. No examples are looked at in detail, that is done in the remaining four sections. Section 1.2 contains a collection of simpler examples, some of which you will know already. You might want to dip into that section as you read this section.
2 - Basic gadgetry
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 34-71
-
- Chapter
- Export citation
4 - Limits and colimits in general
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 108-147
-
- Chapter
- Export citation
-
Summary
In Chapter 2, Sections 2.3 to 2.7 we looked at some simple examples of limits and colimits. These are brought together in Table 2.1 which is repeated here as Table 4.1. In this chapter we generalize the idea.
Before we begin the details it is useful to outline the five steps we go through together with the associated notions for each step. After that we look at each step in more detail.
Template
This is the shape ∇ that a particular kind of diagram can have. It is a picture consisting of nodes (blobs) and edges (arrows). The central column of Table 4.1 lists a few of the simpler templates. Technically, a template is often a directed graph or more generally a category.
Diagram
This is an instantiation of a particular template ∇ in a category C. Each node of ∇ is instantiated with an object of C, and each edge is instantiated with an arrow of C. There are some obvious source and target restrictions that must be met, and the diagram may require that some cells commute. Thus we sometimes use a category as a template.
Posed problem
Each diagram in a category C poses two problems, the left (blunt end) problem and the right (sharp end) problem. We never actually say what the problem is (which is perhaps the reason why it is rarely mentioned) but we do say what a solution is.
3 - Functors and natural transformations
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 72-107
-
- Chapter
- Export citation
-
Summary
Eilenberg and MacLane invented (discovered) category theory in the early 1940s. They were working on Čech cohomology and wanted to separate the routine manipulations from those with more specific content. It turned out that category theory is good at that. Hence its other name abstract nonsense which is not always used with affection.
Another part of their motivation was to try to explain why certain ‘natural’ constructions are natural, and other constructions are not. Such ‘natural’ constructions are now called natural transformations, a term that was used informally at the time but now has a precise definition. They observed that a natural transformation passes between two gadgets. These had to be made precise, and are now called functors. In turn each functor passes between two gadgets, which are now called categories. In other words, categories were invented to support functors, and these were invented to support natural transformations.
But why the somewhat curious terminology? This is explained on pages 29 and 30 of Mac Lane (1998).
… the discovery of ideas as general as these is chiefly the willingness to make a brash or speculative abstraction, in this case supported by the pleasure of purloining words from philosophers: “Category” from Aristotle and Kant, “Functor” from Carnap …
That, of course, is the bowdlerized version.
Most of the basic notions were set up in Eilenberg and MacLane (1945) and that paper is still worth reading.
Index
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 224-226
-
- Chapter
- Export citation
6 - Posets and monoid sets
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 190-222
-
- Chapter
- Export citation
Bibliography
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 223-223
-
- Chapter
- Export citation
An Introduction to Category Theory
- Harold Simmons
-
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011
-
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.
5 - Adjunctions
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 148-189
-
- Chapter
- Export citation
-
Summary
The isolation of the notion of an adjunction is one of the most important contributions of category theory. In a sense adjoints form the first ‘non-trivial’ part of category theory; at least it can seem that way now that all the basic stuff has been sorted out. There are adjunctions all over mathematics, and examples were known before the categorical notion was formalized. We have already met several examples, and later I will point you to them.
In this chapter we go through the various aspects of adjunctions quite slowly. We look at each part in some detail but, I hope, not in so much detail that we lose the big picture.
There is a lot going on in adjunctions, and you will probably get confused more than once. You might get things mixed up, forget which way an arrow is supposed to go, not be able to spell contafurious, and so on. Don't worry. I've been at it for over 40 years and I still can't remember some of the details. In fact, I don't try to. You should get yourself to the position where you can recognize that perhaps there is an adjunction somewhere around, but you may not be quite sure where. You can then look up the details. If you ever have to use adjunctions every day, then the details will become second nature to you.
Frontmatter
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp i-iv
-
- Chapter
- Export citation
Contents
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp v-vi
-
- Chapter
- Export citation
Preface
- Harold Simmons, University of Manchester
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp vii-x
-
- Chapter
- Export citation
-
Summary
As it says on the front cover this book is an introduction to Category Theory. It gives the basic definitions; goes through the various associated gadgetry such as functors, natural transformations, limits and colimits; and then explains adjunctions. This material could be developed in 50 pages or so, but here it takes some 220 pages. That is because there are many examples illustrating the various notions, some rather straightforward, and others with more content. More importantly, there are also over 200 exercises. And perhaps even more importantly, solutions to these exercises are available online.
The book is aimed primarily at the beginning graduate student, but that does not mean that other students or professional mathematicians will not find it useful. I have designed the book so that it can be used by a single student or small group of students to learn the subject on their own. The book will make a suitable text for a reading group. The book does not assume the reader has a broad knowledge of mathematics. Most of the illustrations use rather simple ideas, but every now and then a more advanced topic is mentioned. The book can also be used as a recommended text for a taught introductory course.
Every mathematician should at least know of the existence of category theory, and many will need to use categorical notions every now and then. For those groups this is the book you should have. Other mathematicians will use category theory every day.
Contributors
-
- By Rose Teteki Abbey, K. C. Abraham, David Tuesday Adamo, LeRoy H. Aden, Efrain Agosto, Victor Aguilan, Gillian T. W. Ahlgren, Charanjit Kaur AjitSingh, Dorothy B E A Akoto, Giuseppe Alberigo, Daniel E. Albrecht, Ruth Albrecht, Daniel O. Aleshire, Urs Altermatt, Anand Amaladass, Michael Amaladoss, James N. Amanze, Lesley G. Anderson, Thomas C. Anderson, Victor Anderson, Hope S. Antone, María Pilar Aquino, Paula Arai, Victorio Araya Guillén, S. Wesley Ariarajah, Ellen T. Armour, Brett Gregory Armstrong, Atsuhiro Asano, Naim Stifan Ateek, Mahmoud Ayoub, John Alembillah Azumah, Mercedes L. García Bachmann, Irena Backus, J. Wayne Baker, Mieke Bal, Lewis V. Baldwin, William Barbieri, António Barbosa da Silva, David Basinger, Bolaji Olukemi Bateye, Oswald Bayer, Daniel H. Bays, Rosalie Beck, Nancy Elizabeth Bedford, Guy-Thomas Bedouelle, Chorbishop Seely Beggiani, Wolfgang Behringer, Christopher M. Bellitto, Byard Bennett, Harold V. Bennett, Teresa Berger, Miguel A. Bernad, Henley Bernard, Alan E. Bernstein, Jon L. Berquist, Johannes Beutler, Ana María Bidegain, Matthew P. Binkewicz, Jennifer Bird, Joseph Blenkinsopp, Dmytro Bondarenko, Paulo Bonfatti, Riet en Pim Bons-Storm, Jessica A. Boon, Marcus J. Borg, Mark Bosco, Peter C. Bouteneff, François Bovon, William D. Bowman, Paul S. Boyer, David Brakke, Richard E. Brantley, Marcus Braybrooke, Ian Breward, Ênio José da Costa Brito, Jewel Spears Brooker, Johannes Brosseder, Nicholas Canfield Read Brown, Robert F. Brown, Pamela K. Brubaker, Walter Brueggemann, Bishop Colin O. Buchanan, Stanley M. Burgess, Amy Nelson Burnett, J. Patout Burns, David B. Burrell, David Buttrick, James P. Byrd, Lavinia Byrne, Gerado Caetano, Marcos Caldas, Alkiviadis Calivas, William J. Callahan, Salvatore Calomino, Euan K. Cameron, William S. Campbell, Marcelo Ayres Camurça, Daniel F. Caner, Paul E. Capetz, Carlos F. Cardoza-Orlandi, Patrick W. Carey, Barbara Carvill, Hal Cauthron, Subhadra Mitra Channa, Mark D. Chapman, James H. Charlesworth, Kenneth R. Chase, Chen Zemin, Luciano Chianeque, Philip Chia Phin Yin, Francisca H. Chimhanda, Daniel Chiquete, John T. Chirban, Soobin Choi, Robert Choquette, Mita Choudhury, Gerald Christianson, John Chryssavgis, Sejong Chun, Esther Chung-Kim, Charles M. A. Clark, Elizabeth A. Clark, Sathianathan Clarke, Fred Cloud, John B. Cobb, W. Owen Cole, John A Coleman, John J. Collins, Sylvia Collins-Mayo, Paul K. Conkin, Beth A. Conklin, Sean Connolly, Demetrios J. Constantelos, Michael A. Conway, Paula M. Cooey, Austin Cooper, Michael L. Cooper-White, Pamela Cooper-White, L. William Countryman, Sérgio Coutinho, Pamela Couture, Shannon Craigo-Snell, James L. Crenshaw, David Crowner, Humberto Horacio Cucchetti, Lawrence S. Cunningham, Elizabeth Mason Currier, Emmanuel Cutrone, Mary L. Daniel, David D. Daniels, Robert Darden, Rolf Darge, Isaiah Dau, Jeffry C. Davis, Jane Dawson, Valentin Dedji, John W. de Gruchy, Paul DeHart, Wendy J. Deichmann Edwards, Miguel A. De La Torre, George E. Demacopoulos, Thomas de Mayo, Leah DeVun, Beatriz de Vasconcellos Dias, Dennis C. Dickerson, John M. Dillon, Luis Miguel Donatello, Igor Dorfmann-Lazarev, Susanna Drake, Jonathan A. Draper, N. Dreher Martin, Otto Dreydoppel, Angelyn Dries, A. J. Droge, Francis X. D'Sa, Marilyn Dunn, Nicole Wilkinson Duran, Rifaat Ebied, Mark J. Edwards, William H. Edwards, Leonard H. Ehrlich, Nancy L. Eiesland, Martin Elbel, J. Harold Ellens, Stephen Ellingson, Marvin M. Ellison, Robert Ellsberg, Jean Bethke Elshtain, Eldon Jay Epp, Peter C. Erb, Tassilo Erhardt, Maria Erling, Noel Leo Erskine, Gillian R. Evans, Virginia Fabella, Michael A. Fahey, Edward Farley, Margaret A. Farley, Wendy Farley, Robert Fastiggi, Seena Fazel, Duncan S. Ferguson, Helwar Figueroa, Paul Corby Finney, Kyriaki Karidoyanes FitzGerald, Thomas E. FitzGerald, John R. Fitzmier, Marie Therese Flanagan, Sabina Flanagan, Claude Flipo, Ronald B. Flowers, Carole Fontaine, David Ford, Mary Ford, Stephanie A. Ford, Jim Forest, William Franke, Robert M. Franklin, Ruth Franzén, Edward H. Friedman, Samuel Frouisou, Lorelei F. Fuchs, Jojo M. Fung, Inger Furseth, Richard R. Gaillardetz, Brandon Gallaher, China Galland, Mark Galli, Ismael García, Tharscisse Gatwa, Jean-Marie Gaudeul, Luis María Gavilanes del Castillo, Pavel L. Gavrilyuk, Volney P. Gay, Metropolitan Athanasios Geevargis, Kondothra M. George, Mary Gerhart, Simon Gikandi, Maurice Gilbert, Michael J. Gillgannon, Verónica Giménez Beliveau, Terryl Givens, Beth Glazier-McDonald, Philip Gleason, Menghun Goh, Brian Golding, Bishop Hilario M. Gomez, Michelle A. Gonzalez, Donald K. Gorrell, Roy Gottfried, Tamara Grdzelidze, Joel B. Green, Niels Henrik Gregersen, Cristina Grenholm, Herbert Griffiths, Eric W. Gritsch, Erich S. Gruen, Christoffer H. Grundmann, Paul H. Gundani, Jon P. Gunnemann, Petre Guran, Vidar L. Haanes, Jeremiah M. Hackett, Getatchew Haile, Douglas John Hall, Nicholas Hammond, Daphne Hampson, Jehu J. Hanciles, Barry Hankins, Jennifer Haraguchi, Stanley S. Harakas, Anthony John Harding, Conrad L. Harkins, J. William Harmless, Marjory Harper, Amir Harrak, Joel F. Harrington, Mark W. Harris, Susan Ashbrook Harvey, Van A. Harvey, R. Chris Hassel, Jione Havea, Daniel Hawk, Diana L. Hayes, Leslie Hayes, Priscilla Hayner, S. Mark Heim, Simo Heininen, Richard P. Heitzenrater, Eila Helander, David Hempton, Scott H. Hendrix, Jan-Olav Henriksen, Gina Hens-Piazza, Carter Heyward, Nicholas J. Higham, David Hilliard, Norman A. Hjelm, Peter C. Hodgson, Arthur Holder, M. Jan Holton, Dwight N. Hopkins, Ronnie Po-chia Hsia, Po-Ho Huang, James Hudnut-Beumler, Jennifer S. Hughes, Leonard M. Hummel, Mary E. Hunt, Laennec Hurbon, Mark Hutchinson, Susan E. Hylen, Mary Beth Ingham, H. Larry Ingle, Dale T. Irvin, Jon Isaak, Paul John Isaak, Ada María Isasi-Díaz, Hans Raun Iversen, Margaret C. Jacob, Arthur James, Maria Jansdotter-Samuelsson, David Jasper, Werner G. Jeanrond, Renée Jeffery, David Lyle Jeffrey, Theodore W. Jennings, David H. Jensen, Robin Margaret Jensen, David Jobling, Dale A. Johnson, Elizabeth A. Johnson, Maxwell E. Johnson, Sarah Johnson, Mark D. Johnston, F. Stanley Jones, James William Jones, John R. Jones, Alissa Jones Nelson, Inge Jonsson, Jan Joosten, Elizabeth Judd, Mulambya Peggy Kabonde, Robert Kaggwa, Sylvester Kahakwa, Isaac Kalimi, Ogbu U. Kalu, Eunice Kamaara, Wayne C. Kannaday, Musimbi Kanyoro, Veli-Matti Kärkkäinen, Frank Kaufmann, Léon Nguapitshi Kayongo, Richard Kearney, Alice A. Keefe, Ralph Keen, Catherine Keller, Anthony J. Kelly, Karen Kennelly, Kathi Lynn Kern, Fergus Kerr, Edward Kessler, George Kilcourse, Heup Young Kim, Kim Sung-Hae, Kim Yong-Bock, Kim Yung Suk, Richard King, Thomas M. King, Robert M. Kingdon, Ross Kinsler, Hans G. Kippenberg, Cheryl A. Kirk-Duggan, Clifton Kirkpatrick, Leonid Kishkovsky, Nadieszda Kizenko, Jeffrey Klaiber, Hans-Josef Klauck, Sidney Knight, Samuel Kobia, Robert Kolb, Karla Ann Koll, Heikki Kotila, Donald Kraybill, Philip D. W. Krey, Yves Krumenacker, Jeffrey Kah-Jin Kuan, Simanga R. Kumalo, Peter Kuzmic, Simon Shui-Man Kwan, Kwok Pui-lan, André LaCocque, Stephen E. Lahey, John Tsz Pang Lai, Emiel Lamberts, Armando Lampe, Craig Lampe, Beverly J. Lanzetta, Eve LaPlante, Lizette Larson-Miller, Ariel Bybee Laughton, Leonard Lawlor, Bentley Layton, Robin A. Leaver, Karen Lebacqz, Archie Chi Chung Lee, Marilyn J. Legge, Hervé LeGrand, D. L. LeMahieu, Raymond Lemieux, Bill J. Leonard, Ellen M. Leonard, Outi Leppä, Jean Lesaulnier, Nantawan Boonprasat Lewis, Henrietta Leyser, Alexei Lidov, Bernard Lightman, Paul Chang-Ha Lim, Carter Lindberg, Mark R. Lindsay, James R. Linville, James C. Livingston, Ann Loades, David Loades, Jean-Claude Loba-Mkole, Lo Lung Kwong, Wati Longchar, Eleazar López, David W. Lotz, Andrew Louth, Robin W. Lovin, William Luis, Frank D. Macchia, Diarmaid N. J. MacCulloch, Kirk R. MacGregor, Marjory A. MacLean, Donald MacLeod, Tomas S. Maddela, Inge Mager, Laurenti Magesa, David G. Maillu, Fortunato Mallimaci, Philip Mamalakis, Kä Mana, Ukachukwu Chris Manus, Herbert Robinson Marbury, Reuel Norman Marigza, Jacqueline Mariña, Antti Marjanen, Luiz C. L. Marques, Madipoane Masenya (ngwan'a Mphahlele), Caleb J. D. Maskell, Steve Mason, Thomas Massaro, Fernando Matamoros Ponce, András Máté-Tóth, Odair Pedroso Mateus, Dinis Matsolo, Fumitaka Matsuoka, John D'Arcy May, Yelena Mazour-Matusevich, Theodore Mbazumutima, John S. McClure, Christian McConnell, Lee Martin McDonald, Gary B. McGee, Thomas McGowan, Alister E. McGrath, Richard J. McGregor, John A. McGuckin, Maud Burnett McInerney, Elsie Anne McKee, Mary B. McKinley, James F. McMillan, Ernan McMullin, Kathleen E. McVey, M. Douglas Meeks, Monica Jyotsna Melanchthon, Ilie Melniciuc-Puica, Everett Mendoza, Raymond A. Mentzer, William W. Menzies, Ina Merdjanova, Franziska Metzger, Constant J. Mews, Marvin Meyer, Carol Meyers, Vasile Mihoc, Gunner Bjerg Mikkelsen, Maria Inêz de Castro Millen, Clyde Lee Miller, Bonnie J. Miller-McLemore, Alexander Mirkovic, Paul Misner, Nozomu Miyahira, R. W. L. Moberly, Gerald Moede, Aloo Osotsi Mojola, Sunanda Mongia, Rebeca Montemayor, James Moore, Roger E. Moore, Craig E. Morrison O.Carm, Jeffry H. Morrison, Keith Morrison, Wilson J. Moses, Tefetso Henry Mothibe, Mokgethi Motlhabi, Fulata Moyo, Henry Mugabe, Jesse Ndwiga Kanyua Mugambi, Peggy Mulambya-Kabonde, Robert Bruce Mullin, Pamela Mullins Reaves, Saskia Murk Jansen, Heleen L. Murre-Van den Berg, Augustine Musopole, Isaac M. T. Mwase, Philomena Mwaura, Cecilia Nahnfeldt, Anne Nasimiyu Wasike, Carmiña Navia Velasco, Thulani Ndlazi, Alexander Negrov, James B. Nelson, David G. Newcombe, Carol Newsom, Helen J. Nicholson, George W. E. Nickelsburg, Tatyana Nikolskaya, Damayanthi M. A. Niles, Bertil Nilsson, Nyambura Njoroge, Fidelis Nkomazana, Mary Beth Norton, Christian Nottmeier, Sonene Nyawo, Anthère Nzabatsinda, Edward T. Oakes, Gerald O'Collins, Daniel O'Connell, David W. Odell-Scott, Mercy Amba Oduyoye, Kathleen O'Grady, Oyeronke Olajubu, Thomas O'Loughlin, Dennis T. Olson, J. Steven O'Malley, Cephas N. Omenyo, Muriel Orevillo-Montenegro, César Augusto Ornellas Ramos, Agbonkhianmeghe E. Orobator, Kenan B. Osborne, Carolyn Osiek, Javier Otaola Montagne, Douglas F. Ottati, Anna May Say Pa, Irina Paert, Jerry G. Pankhurst, Aristotle Papanikolaou, Samuele F. Pardini, Stefano Parenti, Peter Paris, Sung Bae Park, Cristián G. Parker, Raquel Pastor, Joseph Pathrapankal, Daniel Patte, W. Brown Patterson, Clive Pearson, Keith F. Pecklers, Nancy Cardoso Pereira, David Horace Perkins, Pheme Perkins, Edward N. Peters, Rebecca Todd Peters, Bishop Yeznik Petrossian, Raymond Pfister, Peter C. Phan, Isabel Apawo Phiri, William S. F. Pickering, Derrick G. Pitard, William Elvis Plata, Zlatko Plese, John Plummer, James Newton Poling, Ronald Popivchak, Andrew Porter, Ute Possekel, James M. Powell, Enos Das Pradhan, Devadasan Premnath, Jaime Adrían Prieto Valladares, Anne Primavesi, Randall Prior, María Alicia Puente Lutteroth, Eduardo Guzmão Quadros, Albert Rabil, Laurent William Ramambason, Apolonio M. Ranche, Vololona Randriamanantena Andriamitandrina, Lawrence R. Rast, Paul L. Redditt, Adele Reinhartz, Rolf Rendtorff, Pål Repstad, James N. Rhodes, John K. Riches, Joerg Rieger, Sharon H. Ringe, Sandra Rios, Tyler Roberts, David M. Robinson, James M. Robinson, Joanne Maguire Robinson, Richard A. H. Robinson, Roy R. Robson, Jack B. Rogers, Maria Roginska, Sidney Rooy, Rev. Garnett Roper, Maria José Fontelas Rosado-Nunes, Andrew C. Ross, Stefan Rossbach, François Rossier, John D. Roth, John K. Roth, Phillip Rothwell, Richard E. Rubenstein, Rosemary Radford Ruether, Markku Ruotsila, John E. Rybolt, Risto Saarinen, John Saillant, Juan Sanchez, Wagner Lopes Sanchez, Hugo N. Santos, Gerhard Sauter, Gloria L. Schaab, Sandra M. Schneiders, Quentin J. Schultze, Fernando F. Segovia, Turid Karlsen Seim, Carsten Selch Jensen, Alan P. F. Sell, Frank C. Senn, Kent Davis Sensenig, Damían Setton, Bal Krishna Sharma, Carolyn J. Sharp, Thomas Sheehan, N. Gerald Shenk, Christian Sheppard, Charles Sherlock, Tabona Shoko, Walter B. Shurden, Marguerite Shuster, B. Mark Sietsema, Batara Sihombing, Neil Silberman, Clodomiro Siller, Samuel Silva-Gotay, Heikki Silvet, John K. Simmons, Hagith Sivan, James C. Skedros, Abraham Smith, Ashley A. Smith, Ted A. Smith, Daud Soesilo, Pia Søltoft, Choan-Seng (C. S.) Song, Kathryn Spink, Bryan Spinks, Eric O. Springsted, Nicolas Standaert, Brian Stanley, Glen H. Stassen, Karel Steenbrink, Stephen J. Stein, Andrea Sterk, Gregory E. Sterling, Columba Stewart, Jacques Stewart, Robert B. Stewart, Cynthia Stokes Brown, Ken Stone, Anne Stott, Elizabeth Stuart, Monya Stubbs, Marjorie Hewitt Suchocki, David Kwang-sun Suh, Scott W. Sunquist, Keith Suter, Douglas Sweeney, Charles H. Talbert, Shawqi N. Talia, Elsa Tamez, Joseph B. Tamney, Jonathan Y. Tan, Yak-Hwee Tan, Kathryn Tanner, Feiya Tao, Elizabeth S. Tapia, Aquiline Tarimo, Claire Taylor, Mark Lewis Taylor, Bishop Abba Samuel Wolde Tekestebirhan, Eugene TeSelle, M. Thomas Thangaraj, David R. Thomas, Andrew Thornley, Scott Thumma, Marcelo Timotheo da Costa, George E. “Tink” Tinker, Ola Tjørhom, Karen Jo Torjesen, Iain R. Torrance, Fernando Torres-Londoño, Archbishop Demetrios [Trakatellis], Marit Trelstad, Christine Trevett, Phyllis Trible, Johannes Tromp, Paul Turner, Robert G. Tuttle, Archbishop Desmond Tutu, Peter Tyler, Anders Tyrberg, Justin Ukpong, Javier Ulloa, Camillus Umoh, Kristi Upson-Saia, Martina Urban, Monica Uribe, Elochukwu Eugene Uzukwu, Richard Vaggione, Gabriel Vahanian, Paul Valliere, T. J. Van Bavel, Steven Vanderputten, Peter Van der Veer, Huub Van de Sandt, Louis Van Tongeren, Luke A. Veronis, Noel Villalba, Ramón Vinke, Tim Vivian, David Voas, Elena Volkova, Katharina von Kellenbach, Elina Vuola, Timothy Wadkins, Elaine M. Wainwright, Randi Jones Walker, Dewey D. Wallace, Jerry Walls, Michael J. Walsh, Philip Walters, Janet Walton, Jonathan L. Walton, Wang Xiaochao, Patricia A. Ward, David Harrington Watt, Herold D. Weiss, Laurence L. Welborn, Sharon D. Welch, Timothy Wengert, Traci C. West, Merold Westphal, David Wetherell, Barbara Wheeler, Carolinne White, Jean-Paul Wiest, Frans Wijsen, Terry L. Wilder, Felix Wilfred, Rebecca Wilkin, Daniel H. Williams, D. Newell Williams, Michael A. Williams, Vincent L. Wimbush, Gabriele Winkler, Anders Winroth, Lauri Emílio Wirth, James A. Wiseman, Ebba Witt-Brattström, Teofil Wojciechowski, John Wolffe, Kenman L. Wong, Wong Wai Ching, Linda Woodhead, Wendy M. Wright, Rose Wu, Keith E. Yandell, Gale A. Yee, Viktor Yelensky, Yeo Khiok-Khng, Gustav K. K. Yeung, Angela Yiu, Amos Yong, Yong Ting Jin, You Bin, Youhanna Nessim Youssef, Eliana Yunes, Robert Michael Zaller, Valarie H. Ziegler, Barbara Brown Zikmund, Joyce Ann Zimmerman, Aurora Zlotnik, Zhuo Xinping
- Edited by Daniel Patte, Vanderbilt University, Tennessee
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
The glueing construction and lax limits
- Harold Simmons
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 393-431
-
- Article
- Export citation
-
Having started life as a way of reconstructing a topological space from a pair of complementary subspaces, the glueing construction has found employment in a wide range of different roles, from the construction of free distributive lattices to a supporting part in the 2-categorical analysis of types theories. In this latter role the construction appears to be a fundamental factor in the behaviour of higher order proof theory. What is going on here? Before that can be answered we need at least a less ad hoc description of the construction. In this paper I set down what is, I believe, the beginnings of a coherent account of the algebraic version of glueing. As well as the abstract theory, I give a good selection of different examples to illustrate the diverse nature of the uses of the construction.
Tiering as a Recursion Technique
- Harold Simmons
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 321-350
- Print publication:
- September 2005
-
- Article
- Export citation
-
I survey the syntactic technique of tiering which can be used to restrict the power of a recursion scheme. I show how various results can be obtained entirely proof theoretically without the use of a model of computation.
Contents
- Edited by Peter Aczel, University of Manchester, Harold Simmons, University of Manchester, Stanley S. Wainer, University of Leeds
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp v-vi
-
- Chapter
- Export citation
Programme of lectures
- Edited by Peter Aczel, University of Manchester, Harold Simmons, University of Manchester, Stanley S. Wainer, University of Leeds
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp ix-x
-
- Chapter
- Export citation
Frontmatter
- Edited by Peter Aczel, University of Manchester, Harold Simmons, University of Manchester, Stanley S. Wainer, University of Leeds
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp i-iv
-
- Chapter
- Export citation
Proof Theory
- A selection of papers from the Leeds Proof Theory Programme 1990
- Edited by Peter Aczel, Harold Simmons, Stanley S. Wainer
-
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993
-
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.