Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • main default protected
  • master
2 results
Created with Raphaël 2.2.026Jan2524232219181327Dec829Nov28171614624Oct1913109875329Sep26222015730Aug2823221584128Jul25201811325Jun2085432131May3029282725242322181725Apr2014131Mar30292123Feb1312Jan411Dec20Oct181211417Aug27Jul21191824May218Jan74331Dec2416151488Sep31Jan3010876319Jun4Apr19Mar151423Feb131217Jan161121Nov96530Oct2928262524221121Sep2025Jul12111098767653230Jun292827262522212019181716151413121130May26252422211298654329Apr2726252420177643230Mar2861errors in the extensional modelremove outdated sectionmore syntax and sketch semantics in extensional modelupdate definitionsupdates mostly to extensional modelwork on concrete modelrevise discussionchanges to categorical modelupdates to appendixmore introadjust outlineprose on cbpv modelsfix build issues, progress on CBPV semanticsdiscussion on adgda workstrict and lax homomorphisms of CBPV modelsmostly writing updateswork on proofs in appendixupdates to abstract categorical model sectioncorrect title/authorssketchy stuff in the appendix on syntax and update to the extensional modelmatch Eric's notation for linear morphismsadd some definitionsdescribe Kleisli action on squareswork on abstract model constructionsupdate definition of abstract modelseparately functorial actions of CBPV type constructors on Kleisli arrowssome intro work and add macros for commentsbegin appendixbegin discussion sectionbegin section on concrete modelbegin discussion of abstract model constructionsadd some prose in terms.texchanges to technical backgroundchanges to ordering.texadd a citation in the introupdate definitionsrename "double poset" to "predomain"work on section on abstract categorical modelschanges to term precision syntax + semanticschanges to term syntax + semantics