01whole.pdf (585.04 kB)
Download file

Catalan objects in categories

Download (585.04 kB)
thesis
posted on 28.03.2022, 09:22 by Geoff Edington-Cheater
The Catalan numbers 1, 2, 5, 14, 42, 132, . . . count all sorts of interesting objects: for example, thenth Catalan number enumerates both the set of Tn of rooted finitely branching trees with n + 1 vertices, and the set Bn of rooted binary trees with n + 1 leaves. In fact for each n, the sets Tn and Bn are in bijection in a natural way. The objective of this thesis is to study these bijections, and similar ones, through the lens of category theory. The set of rooted finitely branching trees can be characterised as an initial motor; where a motor is a monoid endowed with a endofunction (not preserving the monoid structure). The set of rooted binary trees can be characterised as an initial pointed magma; where a pointed magma is a set endowed with a constant and a binary operation. We first give an account of the bijection between rooted trees and binary trees which uses only the universal properties of the initial motor and the initial pointed magma. We then generalise this in various directions; our most general result identifies the initial T -motor with the initial pointed T -magma, when T is an arbitrary endofunctor of a closed monoidal category C ; here, a T -motor is a monoid X endowed with a mapping T X X , while a pointed T -magma is an object with a map I + TX ⊗ X X. We will also give numerous examples and applications.

History

Table of Contents

Chapter 1. Introduction and motivation -- Chapter 2. A first case -- Chapter 3. A generalisation in set -- Chapter 4. A generalisation for monoidal categories -- Chapter 5. Further research.

Notes

Theoretical thesis. Bibliography: page 51

Awarding Institution

Macquarie University

Degree Type

Thesis MRes

Degree

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

Department, Centre or School

Department of Department of Mathematics and Statistics

Year of Award

2019

Principal Supervisor

Richard Garner

Rights

Copyright Geoff Edington-Cheater 2019. Copyright disclaimer: http://mq.edu.au/library/copyright

Language

English

Extent

1 online resource (iii, 51 pages)

Former Identifiers

mq:71550 http://hdl.handle.net/1959.14/1275515