owned this note   changed 7 years ago  
Linked with GitHub

CAP Days 2018

Wednesday

Results

Thursday

Projects

  • Sebastian P.:

    • CAP kernel type check
    • Adelman-category and QPA2
    • more general Tensor categories in CAP

  • Sebastian G.:

    • CAP kernel type checks
    • Prefuction system in CAP

  • Maxime F. and Daniel J.:

    • Karoubi Envelope

  • Daniel J. and Kamal S.:

    • Use the new bicomplex package in MotivesForBiarrangements.

  • Mario:

    • Open issues on natural transformations (#10, #11)
    • Elementary topos structure, Finite sets

  • Øystein:

    • QPA: What do other packages need from QPA?
    • InfiniteLists: Write documentation

  • Ajinkya:

    • tensor products in the category of G-graded H-bimodules (G a finite group, H a subgroup of G)

  • Fabian: CAP kernel type checks

    • make existing pre_functions consistent
    • add pre_function_full where necessary

  • Martin: Apply CAP to compute sheaf cohomology

    • construct examples of jumping lines
    • bug fix (Lattice points counted incorrectly since gap > 4.8.4)
    • …

  • Mohamed:

    • Continue work on packages Locales and ZariskiFrames

  • Florian:

    • Bialgebroids

  • Kamal

    • ComplexesForCAP
    • Bicomplexes
    • …

Results

  • Mario:

    • Issue #11 seems already solved. Wrote an example.
    • Equalizers from pullbacks.
    • Started to prepare a pull request for the subobject classifier in CAP.
    • Opened a pull request for the subobject classifier.

  • Sebastian P.:

    • Started implementation of G-graded vector spaces together with Ajinkya
    • Adjusted LiftAlongMonomorphism/ColiftAlongEpimorphism: user is not supposed to provide a function that returns fail anymore

  • Florian:

    • Implemented products and arbitrary powers of bialgebroids

  • Øystein:

    • Discussion with Daniel about using quiver inclusions to create functors between corresponding representation categories. Sebastian P then suggested using Kan extensions as a general approach to this, which again led me to discuss with Fabian about his ideas for general limits and colimits in CAP
    • Learned about algebroids and the FunctorCategories package from Mohamed

Friday

Projects

  • Sebastian P.:

    • Create new primitives of the type IsLiftable
    • Discuss with Mario the subobject classifier

  • Mario:

    • Subobject classifier pull request, address suggestions.
    • Implement subobject classifier in FinSets.

  • Øystein:

    • Try to implement tensor product of arbitrary many algebras in QPA, with maps from "iterated" tensor products, as suggested by Florian (issue #14 in QPA2)
    • Throw suggestions for AutoDoc at Sebastian G

  • Kamal:

    • Continue documentation of Bicomplexes.
    • …

Results

  • Mario:

    • Completed subobject classifier declaration.
    • Added subobject derivation.
    • Read about decidability on cartesian closed categories and lambda calculus.
    • Implemented the subobject classifier in FiniteSets (pull request).

  • Øystein:

    • Implemented tensor products of arbitrary many algebras in QPA, including map from iterated to flat tensor products. Still missing: Map going the other way.

  • Fabian:

Select a repo