Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Describe kernel of ring and algebra quotient maps #816

Merged
merged 36 commits into from
May 25, 2022
Merged

Describe kernel of ring and algebra quotient maps #816

merged 36 commits into from
May 25, 2022

Commits on May 16, 2022

  1. isPropIsIdeal

    @MatthiasHu
    MatthiasHu committed May 16, 2022
    Configuration menu
    Copy the full SHA
    49ce7a4 View commit details
    Browse the repository at this point in the history

  2. (wip) kernel≡I for QuotientRing

    @MatthiasHu
    MatthiasHu committed May 16, 2022
    Configuration menu
    Copy the full SHA
    24d1046 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2022

  1. kernel≡I for QuotientRing

    @MatthiasHu
    MatthiasHu committed May 17, 2022
    Configuration menu
    Copy the full SHA
    9961e88 View commit details
    Browse the repository at this point in the history

  2. reorganize module Kernel (in QuotientRing)

    @MatthiasHu
    MatthiasHu committed May 17, 2022
    Configuration menu
    Copy the full SHA
    f975e96 View commit details
    Browse the repository at this point in the history

  3. hide QuotientRing.quotientMap in QuotientAlgebra

    @MatthiasHu
    MatthiasHu committed May 17, 2022
    Configuration menu
    Copy the full SHA
    e0b3920 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2022

  1. Merge branch 'master' into kernel-of-ring-quotient

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    ac87487 View commit details
    Browse the repository at this point in the history

  2. comment

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    ebf4efb View commit details
    Browse the repository at this point in the history

  3. more specific name

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    fb7e242 View commit details
    Browse the repository at this point in the history

  4. define kernel of CommRingHom

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    0973de9 View commit details
    Browse the repository at this point in the history

  5. indent

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    d995bcd View commit details
    Browse the repository at this point in the history

  6. WIP: Remove specialized universal property of quotients

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    042f358 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'better_universal_prop_for_quotients' into kernel-of-rin… 

    …g-quotient

# Conflicts:
#	Cubical/Algebra/Ring/Properties.agda
    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    413fa20 View commit details
    Browse the repository at this point in the history

  8. prove that homs which are zero on generators are zero on the generate… 

    …d ideal
    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    2e0f62a View commit details
    Browse the repository at this point in the history

  9. simplify

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    1731a25 View commit details
    Browse the repository at this point in the history

  10. simplify

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    ee2f1a9 View commit details
    Browse the repository at this point in the history

  11. cleanup

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    f6d5f7d View commit details
    Browse the repository at this point in the history

  12. fix dependencies

    @felixwellen
    felixwellen committed May 23, 2022
    Configuration menu
    Copy the full SHA
    cc9228e View commit details
    Browse the repository at this point in the history

Commits on May 24, 2022

  1. notation

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    7a6581e View commit details
    Browse the repository at this point in the history

  2. delete superfluous argument

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    e01eff0 View commit details
    Browse the repository at this point in the history

  3. remove unnecessary nested module

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    b339125 View commit details
    Browse the repository at this point in the history

  4. more expressive name

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    de4e875 View commit details
    Browse the repository at this point in the history

  5. cleanup

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    6510c8e View commit details
    Browse the repository at this point in the history

  6. quotientHom for CommRings

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    f34a893 View commit details
    Browse the repository at this point in the history

  7. kernel≡I for CommRings

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    889f7c4 View commit details
    Browse the repository at this point in the history

  8. qualified imports

    @MatthiasHu
    MatthiasHu committed May 24, 2022
    Configuration menu
    Copy the full SHA
    701bf04 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2022

  1. rename quotientMap -> quotientHom for CommAlgebras

    @MatthiasHu
    MatthiasHu committed May 25, 2022
    Configuration menu
    Copy the full SHA
    8d63aaf View commit details
    Browse the repository at this point in the history

  2. wip: should commAlgebraFromCommRing be a strict section of CommAlgebr… 

    …a→CommRing ?
    @MatthiasHu
    MatthiasHu committed May 25, 2022
    Configuration menu
    Copy the full SHA
    8eb2485 View commit details
    Browse the repository at this point in the history

  3. Revert "Auxiliary commit to revert individual files from 8eb2485" 

    This reverts commit 6417a636443d0828d0fdffea126313d541b044d9.
    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    4b57588 View commit details
    Browse the repository at this point in the history

  4. transfer result to CommAlgebra

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    99c9beb View commit details
    Browse the repository at this point in the history

  5. cleanup

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    3c6a826 View commit details
    Browse the repository at this point in the history

  6. cleanup, scoping

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    2f00fd4 View commit details
    Browse the repository at this point in the history

  7. cleanup

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    79c0970 View commit details
    Browse the repository at this point in the history

  8. scoping

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    e818ff8 View commit details
    Browse the repository at this point in the history

  9. fix

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    32efe4f View commit details
    Browse the repository at this point in the history

  10. fix

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    0787ff8 View commit details
    Browse the repository at this point in the history

  11. fix name

    @felixwellen
    felixwellen committed May 25, 2022
    Configuration menu
    Copy the full SHA
    c363b1b View commit details
    Browse the repository at this point in the history