Category Theory as Coherently Constructive Lattice Theory (1998)
| Citations: | 1 - 0 self |
BibTeX
@MISC{Backhouse98categorytheory,
author = {Roland Backhouse and Marcel Bijsterveld and Rik van Geldrop and Jaap Van Der Woude},
title = {Category Theory as Coherently Constructive Lattice Theory},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ion Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : 82 6.3 The Beautiful Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 86 6.4 The Rolling Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 89 6.5 The Square Theorem : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 91 6.6 The Exchange Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 94 6.7 The Diagonal Rule : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 100 6.7.1 One Half : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 100 6.7.2 The Other Half : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 103 6.8 Mutual Recursion : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 106 7 Monads 111 7.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 111 7.2 Monads and Adjunctions : : : : : : : : : : : : : : : : : : : : : : : : : : : : 112 7.3 Basic Adjunction : : : : : : : : : : : : ...
