- Committer: Ohad Kammar
- Date: 2014-04-02 12:59:36 UTC
- Revision ID: ohad.kammar@cl.cam.ac.uk-20140402125936-vn81q3jsrmgknuex
final version
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
algebraic-operation-definition.mp |
172 | 11 years ago | Ohad Kammar | snapshot | 1.7 KB |
|
|
|
bottom-effect-operation-proof.mp |
197 | 11 years ago | Ohad Kammar | finished proofreading the categorical models subse | 1.4 KB |
|
|
|
butterfly.mp |
123 | 11 years ago | Ohad Kammar | redefined cbpv models. | 1021 bytes |
|
|
|
chasing-global-state.mp |
187 | 11 years ago | Ohad Kammar | incorporated changes to the categorical models sec | 2.2 KB |
|
|
|
chasing-lifting.mp |
253 | 11 years ago | Ohad Kammar | snapshot. | 1.5 KB |
|
|
|
conservative-restriction-model.mp |
425 | 10 years ago | Ohad Kammar | proofreaed the algebraic model chpter. | 3.2 KB |
|
|
|
copower-preservation-by-monad-morphisms.mp |
215 | 11 years ago | Ohad Kammar | finished typesetting the background on enriched La | 1 KB |
|
|
|
counter-example.mp |
211 | 11 years ago | Ohad Kammar | characterised the countably presentable domains | 3.6 KB |
|
|
|
cp-char-proof.mp |
211 | 11 years ago | Ohad Kammar | characterised the countably presentable domains | 597 bytes |
|
|
|
diagonal-lifting-lemma.mp |
427 | 10 years ago | Ohad Kammar | proofread the logical relations chapter | 1.4 KB |
|
|
|
domain-triangle.mp |
211 | 11 years ago | Ohad Kammar | characterised the countably presentable domains | 5.1 KB |
|
|
|
epis-in-lawvere-factorisation.mp |
245 | 11 years ago | Ohad Kammar | finished refactoring the factorisation system to c | 7.8 KB |
|
|
|
exponential.mp |
124 | 11 years ago | Ohad Kammar | added missing file. | 590 bytes |
|
|
|
factorisation-solution-set.mp |
357 | 10 years ago | Ohad Kammar | snapshot | 2.2 KB |
|
|
|
factorisation.mp |
260 | 11 years ago | Ohad Kammar | finished proofreading the conservative restriction | 3.9 KB |
|
|
|
free-monad-multiplication.mp |
419.1.7 | 10 years ago | Ohad Kammar | finalized the models chapter, added a conventions | 2.3 KB |
|
|
|
free-theory-proof.mp |
248 | 11 years ago | Ohad Kammar | snapshot. | 957 bytes |
|
|
|
free-trees.mp |
109 | 11 years ago | Ohad Kammar | made the typesetting of character and string liter | 1 KB |
|
|
|
generic-operation-preservation.mp |
262 | 11 years ago | Ohad Kammar | patched the first chapter. | 4 KB |
|
|
|
global-state-operations.mp |
187 | 11 years ago | Ohad Kammar | incorporated changes to the categorical models sec | 1.3 KB |
|
|
|
homomorphism-lemma-proof.mp |
253 | 11 years ago | Ohad Kammar | snapshot. | 5.6 KB |
|
|
|
homomorphism-over-object-def.mp |
169 | 11 years ago | Ohad Kammar | snapshot. | 670 bytes |
|
|
|
inclusion-diagram.mp |
206 | 11 years ago | Ohad Kammar | snapshot. | 862 bytes |
|
|
|
initial-signature-theory.mp |
330.1.2 | 11 years ago | Ohad Kammar | finished the combination chapter. | 1.4 KB |
|
|
|
kock-strong-morphism.mp |
192 | 11 years ago | Ohad Kammar | Finished proofreading the set-theoretic section | 927 bytes |
|
|
|
lawvere-morphism.mp |
215 | 11 years ago | Ohad Kammar | finished typesetting the background on enriched La | 488 bytes |
|
|
|
lawvere-theory-completeness-proof.mp |
257 | 11 years ago | Ohad Kammar | finished correcting the lawvere theory chapter. | 11.1 KB |
|
|
|
lawvere-theory-construction-lemma.mp |
265 | 11 years ago | Ohad Kammar | version sent to gordon. | 21.3 KB |
|
|
|
lawvere-theory-factorisation-theorem.mp |
245 | 11 years ago | Ohad Kammar | finished refactoring the factorisation system to c | 7.4 KB |
|
|
|
liftings.mp |
126 | 11 years ago | Ohad Kammar | added diagrams for algebraic operations and liftin | 97 bytes |
|
|
|
logical-relations-pullback.mp |
289 | 11 years ago | Ohad Kammar | added missing diagrams. | 400 bytes |
|
|
|
makefile |
430 | 10 years ago | Ohad Kammar | removed appendices, changed format of example numb | 5.3 KB |
|
|
|
monad-theory-operation-bijection.mp |
284 | 11 years ago | Ohad Kammar | fixed a diagram. | 3 KB |
|
|
|
obj-array.mp |
249 | 11 years ago | Ohad Kammar | finished the lawvere theory chapter (sans examples | 218 bytes |
|
|
|
okthesis.mp |
394 | 10 years ago | Ohad Kammar | snapshot. | 858 bytes |
|
|
|
operation-preservation.mp |
262 | 11 years ago | Ohad Kammar | patched the first chapter. | 1.2 KB |
|
|
|
power-naturality-lemma.mp |
227 | 11 years ago | Ohad Kammar | typeset the naturality proof completely. | 18.6 KB |
|
|
|
powertuple-naturality.mp |
206 | 11 years ago | Ohad Kammar | snapshot. | 1.2 KB |
|
|
|
predicate-morphisms.mp |
394 | 10 years ago | Ohad Kammar | snapshot. | 468 bytes |
|
|
|
predicate-reflector.mp |
280 | 11 years ago | Ohad Kammar | added missing files. | 2.1 KB |
|
|
|
proof-algebraic-operations-and-generic-effects.mp |
231 | 11 years ago | Ohad Kammar | typeset half of the huge diagram\! | 15.3 KB |
|
|
|
proof-mapping-preservation.mp |
419.1.6 | 10 years ago | Ohad Kammar | proofread algebraic operations chapter. | 7.6 KB |
|
|
|
ranked-functors.mp |
240 | 11 years ago | Ohad Kammar | finished the factorisation proof, and added some s | 1.7 KB |
|
|
|
recursion-model-lemma-proof.mp |
195 | 11 years ago | Ohad Kammar | fixed the proof for the recursion models via stand | 1.2 KB |
|
|
|
self-construction.mp |
106 | 11 years ago | Ohad Kammar | rewrote the bit about the isomorphism between self | 2.6 KB |
|
|
|
tensor-bifunctor.mp |
330.1.4 | 11 years ago | Ohad Kammar | described the action of tensor on morphisms | 776 bytes |
|
|
|
test.mp |
370 | 10 years ago | Ohad Kammar | snapshot | 4.1 KB |
|
|
|
triangle.mp |
204 | 11 years ago | Ohad Kammar | snapshot: integrating the lp categories subsection | 885 bytes |
|
|
|
venn.mp |
430 | 10 years ago | Ohad Kammar | removed appendices, changed format of example numb | 1.1 KB |
|
|