Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Women in tech
    • Student organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Ask a student
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research entities
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Danish Institute for IT Program Management
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
Courses
ITU  /  Research  /  PhD Programme  /  Courses  /  2016  /  PhD Course - Category theory
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
    • PhD Programme
      • About the PhD Programme
      • Courses
        • 2023
        • 2022
        • 2021
        • 2020
        • 2019
        • 2018
        • 2017
        • 2016
          • PhD Course - Big Data and Ethics
          • PhD Course - Blockchain Summer School
          • PhD Course - Category theory
            • PhD Course - Epistemological Foundations and Research in IS (EPIS: 2016)
            • PhD Course - On Interdisciplinarity CANCELLED
            • PhD Course - IT Design Science Research
            • PhD Course - Linux Kernel
            • PhD Course - Survey of The Most Influential Works in Software Maintenance
            • PhD Course - Theoretical foundations in Human-Computer Interaction - HCI basics
            • PhD Course - Verifying Security Protocols in Tamarin
          • 2015
          • 2014
          • 2013
          • 2012
          • 2011
          • 2010
        • Defences
        • Positions
        • Types of Enrolment
        • Handbook
        • PhD Support

    PhD Course - Category theory

    Website: https://ctcourse2016.wikit.itu.dk/.

    Organizer(s):

    Rasmus Ejlers Møgelberg

     

    Lecturer(s):

    Rasmus Ejlers Møgelberg

     

    Date(s) of the course:

    September 9, 2016 - December 16, 2016.

    A total of 14 weekly lectures interrupted by fall break.

     

    Time:

    From 13:00 till 15:00

     

    Room preferences:

    4A58

     

    Course description:

    Category theory is an abstract branch of mathematics which has found many applications, in particular in computer science, logic and other fields of mathematics. For computer scientists and logicians, category theory is useful because it provides a set of abstractions useful for organising e.g. denotational models and also a set of tools for constructing new such models. For example, forcing in set theory can be understood via sheaf categories and many concepts in functional programming (e.g. monads) can be described abstractly and studied in category theory. Recently, models constructed using category theory have been used in the design of new type theories, such as homotopy type theory and guarded dependent type theory. In this course we will cover the basic concepts of category theory and illustrate these with applications to denotational semantics of programming languages and logic. The course thus forms a base for further studies of e.g. categorical logic and denotational semantics, such as models of (homotopy or guarded) type theory.

     

    Programme:

    2 hours of lectures every week. For topics, see course webpage. We will cover Steve Awodeys book Category theory 2nd ed.

     

    Prerequisites:

    No

     

    Exam:

    There will be written exercises every week of which students must have 3 out of 4 approved.

     

    Credits:

    7.5 ECTS

     

    Amount of hours the student is expected to use on the course:

    Participation: 28

    Preparation: 182

    How to sign up:

    Write an email to mogel@itu.dk, Rasmus Ejlers Møgelberg.

    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53 /
    P-nummer 1005162959

    This page is printed from https://itu.dk/