2005

Categories for Software Engineering

Authors:

ISBN: 978-3-540-20909-6 (Print) 978-3-540-26891-8 (Online)

Table of contents (10 chapters)

  1. No Access

    Book Chapter

    Pages 1-11

    Introduction

  2. Basics

    1. No Access

      Book Chapter

      Pages 15-30

      Introducing Categories

    2. No Access

      Book Chapter

      Pages 31-55

      Building Categories

    3. No Access

      Book Chapter

      Pages 57-81

      Universal Constructions

    4. No Access

      Book Chapter

      Pages 83-92

      Functors

  3. Advanced Topics

    1. No Access

      Book Chapter

      Pages 95-140

      Functor-Based Constructions

    2. No Access

      Book Chapter

      Pages 141-174

      Adjunctions

  4. Applications

    1. No Access

      Book Chapter

      Pages 177-196

      CommUnity

    2. No Access

      Book Chapter

      Pages 197-220

      Architectural Description

    3. No Access

      Book Chapter

      Pages 221-235

      An Algebra of Connectors