Narrow your search

Library

UCLouvain (4)

UGent (4)

VUB (3)

ULiège (2)

KBR (1)

KU Leuven (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

More...

Resource type

book (10)


Language

English (10)


Year
From To Submit

2011 (1)

2000 (1)

1993 (2)

1988 (1)

1969 (4)

More...
Listing 1 - 10 of 10
Sort by

Book
An introduction to category theory
Author:
ISBN: 9780521283045 9780511863226 9781107010871 9781139186070 1139186078 9781139190978 1139190970 0511863225 9781139188371 1139188372 110701087X 0521283043 1107228670 9781107228672 1139235095 9781139235099 1283382598 9781283382595 9786613382597 6613382590 1139189689 9781139189682 1139183753 9781139183758 Year: 2011 Publisher: Cambridge New York Cambridge University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Derivation and computation : taking the Curry-Howard correspondence seriously
Author:
ISBN: 0521771730 9780521771733 Year: 2000 Publisher: Cambridge: University press,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Archaeological photography
Author:
ISBN: 0340094303 Year: 1969 Publisher: London University of London Press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Archaeological photography
Author:
Year: 1969 Publisher: New York (N.Y.) New York University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Archaeological photography
Author:
Year: 1969 Publisher: London : University of London P.,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Derivatives, nuclei and dimensions on the frame of torsion theories
Authors: ---
ISSN: 02693674 ISBN: 0582034485 0470211970 9780470211977 Year: 1988 Volume: 188 Publisher: Harlow Longman

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Dynamos, motors, alternators, and trotary converters
Authors: ---
Year: 1902 Publisher: London : Biggs, and Co.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Proof theory
Authors: --- ---
ISBN: 052141413X 9780521414135 9780511896262 9780521054164 Year: 1993 Publisher: Cambridge Cambridge University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Proof theory.


Book
Inside a comprehensive school
Authors: --- --- ---
Year: 1969 Publisher: Brighton : Clifton Books,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
Authors: --- --- ---
ISBN: 0511896263 Year: 1993 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

Proof theory.

Listing 1 - 10 of 10
Sort by