Macquarie University
Browse

Crossed modules and internal categories of Lie-Rinehart algebras

Download (617.62 kB)
thesis
posted on 2022-03-28, 20:23 authored by Joel Couchman
We give a definition of internal crossed module in a protomodular, Barr-exact category C with finite coproducts, and we show that the category of internal crossed modules in C is equivalent to the category of internal categories in C . A category that is protomodular, Barr-exact, has finite coproducts, and is also pointed is, equivalently, a semi-abelian category. Our definition of internal crossed module is a generalisation of a definition of crossed module in a semi-abelian category due to Janelidze. Similarly, our theorem stating the equivalence of the categories of internal crossed modules and internal categories in C is a generalisation of a corresponding theorem of Janelidze’s. We show that the category LR of Lie-Rinehart algebras is protomodular, Barr-exact, and has finite coproducts,showing that our new definition of internal crossed module applies to the category of Lie-Rinehart algebras, and thus that the categories of internal crossed modules in LR and internal categories in LR are equivalent. We then compare our definition of internal crossed module with the existing definition of a crossed module of Lie-Rinehart algebras.

History

Table of Contents

1. Introduction -- 2. Crossed modules in protomodular, Barr-exact categories with finite coproducts -- 3. Crossed modules in the category of Lie-Rinehart algebras -- 4. Conclusion -- References.

Notes

Bibliography: pages 49-50 Empirical thesis.

Awarding Institution

Macquarie University

Degree Type

Thesis MRes

Degree

MRes, Macquarie University, Faculty of Science and Engineering, Department of Mathematics

Department, Centre or School

Department of Mathematics

Year of Award

2017

Principal Supervisor

Steve Lack

Rights

Copyright Joel Couchman 2017. Copyright disclaimer: http://mq.edu.au/library/copyright

Language

English

Extent

1 online resource (iv, 50 pages)

Former Identifiers

mq:70576 http://hdl.handle.net/1959.14/1265636

Usage metrics

    Macquarie University Theses

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC