Australian Category Seminar

About Recent Past Speakers
Here is a list of all talks by John Power at the Australian Category Seminar.
2024
  • 1 May
    A Binding Calculation (abs)
2022
  • 25 May
    Substitution and binders: a story of pseudo-monads (abs)
  • 15 June
    Two questions about binders (abs)
  • 29 June
    A general notion of sketch (abs)
2020
  • 1 April
    Data refinement in a categorical setting: enrichment in a non-symmetric monoidal biclosed category (abs)
  • 15 April
    Adequacy for algebraic effects (abs)
  • 29 April
    State: a story of hidden structure (abs)
  • 27 May
    Indexed Lawvere theories for local state (abs)
2019
  • 13 November
    The finitary monad-Lawvere theory correspondence (abs)
2016
  • 25 August
    Theorem proving in logic programming: embracing the laxness