Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.010Apr98722Mar151312Define full and faithful wrt. the morphism map of FmastermasterMention the "respect system dynamics" phraseDon't emphasise "or" in Sigma-Algebra definitionUse a more consistent notation in the bisimulation sketchUndraft the summaryAdd missing comma to attachment descriptionElaborate on how to extract the Git repository from the PDFUse \top and \bot for initial and terminal objectsAdd a mailto link to my email addressDefine continuity of maps between CPO properlyAdd reference to the rival summaryClarify the definition of behavioural equivalenceUse a more fancy word at no advantageIndicate that Kleene's theorem involves inductionAdd Worwell's theoremImprove typesetting in the digraph exampleFix typo in bisimulation definitionImprove typesetting in the digraph exampleRephrase colimit definitionDefine functor category when defining functor categories, not `Cat'Mention that Git is an implicit dependencyGenerate the Git bundle while building the documentAdd \pagebreak hintsMake minor adjustments to the typesetting of the "bibliography"Clarify that self-duality is only up to isoUse DeclareMathOperator* only when necessaryFix typos in the definition of a coneClarify that {faithful,full} refer to the component map of a functorAdd a .md extension to the README fileUpdate README to mention "git bundle" and the GitLab linkRemove stray character from lit.bibUse same title in README as in master.texImport initial draft