# Introduction

(under construction)

(Part of the Amsterdam-Chapman Logic Meeting, May/June 2023)

## Introduction

These notes do not cover basic notions such as category, functor, natural transformations, Yoneda, epi, mono, factorization systems, limits (products, equalisers, pullbacks), colimits, adjunctions but I am happy to explain all of this in person.

The general aim is to write these notes from the point of view of advanced category theory without assuming that reader has covered everything in basic category theory. Roughly speaking, in my view, basic category theory relies on diagram chasing while advanced category theory uses algebraic style of [reasoning with equations up to isomorphism](contents/yoneda.md).

The particular aim of Part 1 is to explain {cite}`McKenzie:equivalence-for-varieties` and {cite}`Porst:equivalence-of-varieties` cited by Tommaso Moraschini {cite}`Moraschini:adjunctions-between-quasi-varieties`.

## Current Plan of Content

Part 0: General Techniques

The general techniques will come up in various situations. It makes some sense to put them at the beginning, but maybe this section should better be a collection of appendices.

- [Yoneda Embedding](contents/yoneda.md)
- [Adjunctions and Monads in a 2-Category]
- [Reflective Subcategories](https://hackmd.io/@alexhkurz/BkRKr1rss)
- [Monads]
- [Extremal, Strong, Regular Epis]
- [Factorisation Systems]
- [Orthogonality]

Part 1: Universal Algebra

- [Regular and Exact Categories](contents/regular-and-exact-categories.md) 
- [Lawvere's Characterization of Varieties](contents/lawveres-characterization-of-varieties.md)
- [Clones, Monads, Lawvere Theories](contents/clones.md)
- [The Lawvere-Linton Theorem]
- [Morita Equivalence of Varieties]

Part 2: Density and Completions of Categories:

- ... 
- [Finite Limits and Filtered Colimits (Locally Finitely Presentable Categories)]
- [Finite Products and Sifted Colimits]
- ... 

Part 3: Sheaf Representation of Algebras
- Stone Duality
- Boolean Powers
- Boolean Products
- Duality for Varities Generated by Semi-Primal Algebras
- Duality for Varieties Generated by Quasi-Primal Algebras, Keimel-Werner Duality, ...

More Topics:

- [HSP theorems]
- [Distributive Laws]
- ... 

## Bibliography

(just started)

```{bibliography}
```


## Further References

- H.-E. Porst. Generalized Morita Theories. Notices of the South African Mathematical Society, 32:4–16, 2001.
- Porst, [Hu's Primal Algebra Theorem revisited](https://dml.cz/bitstream/handle/10338.dmlcz/119217/CommentatMathUnivCarolRetro_41-2000-4_19.pdf), Commentationes Mathematicae Universitatis Carolinae, Vol. 41 (2000), 
- Porst, [The Linton theorem revisited](http://www.numdam.org/article/CTGDC_1993__34_3_229_0.pdf), Cahiers de topologie et géométrie différentielle catégoriques (1993).