Owner

samtoth

Zum Folgen anmelden

1 indexiertes Repository · Auf GitHub ansehen

Einsteigerfreundlich Alles
Offen Alle

Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen

  • Add references to results presented in Sam's bachelor's project
    Offen
    • Stimmt etwas nicht?
    Synthetic

    Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 66/100

    samtoth/agda-synthetic-categories#373 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Use `--double-check` flag?
    Offen
    • Stimmt etwas nicht?
    question

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 15/100

    samtoth/agda-synthetic-categories#369 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Split up Core.Orthogonality
    Offen
    • Stimmt etwas nicht?
    chore

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    samtoth/agda-synthetic-categories#367 · 1 Reaktion ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Enable unused imports warning
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 57/100

    samtoth/agda-synthetic-categories#364 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Forester 6 migration
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

    samtoth/agda-synthetic-categories#360 · 2 Kommentare · 1 Reaktion ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Prove the dependent pullback property of pushouts
    Offen
    • Stimmt etwas nicht?
    good first issue

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    samtoth/agda-synthetic-categories#356 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Move agda pin to avoid cohesion collapse
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100

    samtoth/agda-synthetic-categories#349 · 1 Kommentar · 1 Reaktion ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Projectivity
    Offen
    • Stimmt etwas nicht?
    good first issue Modalities

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#344 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Agda input mode in the web search bar
    Offen
    • Stimmt etwas nicht?
    enhancement web

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    samtoth/agda-synthetic-categories#342 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Check for invalid links
    Offen
    • Stimmt etwas nicht?
    infrastructure

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100

    samtoth/agda-synthetic-categories#338 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Deduplicate duals
    Offen
    • Stimmt etwas nicht?
    Synthetic

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

    samtoth/agda-synthetic-categories#330 · 8 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • The dependent universal property of colimits follows from the non-dependent universal property
    Offen
    • Stimmt etwas nicht?
    good first issue

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

    samtoth/agda-synthetic-categories#327 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Split up category modules
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    samtoth/agda-synthetic-categories#323 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Show code on macro pages
    Offen
    • Stimmt etwas nicht?
    enhancement web

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100

    samtoth/agda-synthetic-categories#316 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Add simplex-hen favicon
    Offen
    • Stimmt etwas nicht?
    web

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100

    samtoth/agda-synthetic-categories#308 · 4 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Change name of ∂Δ¹
    Offen
    • Stimmt etwas nicht?
    Synthetic

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

    samtoth/agda-synthetic-categories#307 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Autoformatter
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    documentation infrastructure

    samtoth/agda-synthetic-categories#299 · 1 Kommentar · 1 zugewiesene Person ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Nix build should use Makefile
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    infrastructure

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    samtoth/agda-synthetic-categories#296 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Stable orthogonal factorisation systems
    Offen
    • Stimmt etwas nicht?
    Modalities

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#288 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Define 𝑛-coskeletal types
    Offen
    • Stimmt etwas nicht?
    good first issue Synthetic

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100

    samtoth/agda-synthetic-categories#266 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Marker macro for equivalences
    Offen
    • Stimmt etwas nicht?
    macro

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#263 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Tie up "Space is Segal" loose ends
    Offen
    • Stimmt etwas nicht?
    Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

    samtoth/agda-synthetic-categories#256 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Renaming certain lattice constructions
    Offen
    • Stimmt etwas nicht?
    Algebra

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    samtoth/agda-synthetic-categories#255 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Find a consistent naming scheme for diagrams and such
    Offen
    • Stimmt etwas nicht?
    documentation

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

    samtoth/agda-synthetic-categories#250 · 4 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Person pages should be dated
    Offen
    • Stimmt etwas nicht?
    documentation web

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100

    samtoth/agda-synthetic-categories#224 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Localisations of synthetic categories
    Offen
    • Stimmt etwas nicht?
    good first issue Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#198 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Finitely generated free 𝕀-algebras are quasicoherent
    Offen
    • Stimmt etwas nicht?
    Algebra good first issue

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#196 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Equivalence between quasi-coherence and the generalised Phoa's principle
    Offen
    • Stimmt etwas nicht?
    Algebra good first issue

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#195 · 3 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Closure of left orthogonal maps under pushouts in the arrow category
    Offen
    • Stimmt etwas nicht?
    good first issue UnivalentFoundations

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    samtoth/agda-synthetic-categories#194 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • "Think discretely, act functorially"
    Offen
    • Stimmt etwas nicht?
    Modalities.Cohesion Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    samtoth/agda-synthetic-categories#193 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Structure homomorphism principle
    Offen
    • Stimmt etwas nicht?
    good first issue Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    samtoth/agda-synthetic-categories#191 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Parametricity of 𝒮
    Offen
    • Stimmt etwas nicht?
    good first issue Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#189 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Δⁿ is a category
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    good first issue Synthetic.Categories

    samtoth/agda-synthetic-categories#188 · 1 Kommentar · 1 zugewiesene Person ·

    Maintainer antworten meist innerhalb von 1 Tag

  • License the project
    Offen
    • Stimmt etwas nicht?
    documentation

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100

    samtoth/agda-synthetic-categories#182 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Show the representing split morphism represents split morphisms
    Offen
    • Stimmt etwas nicht?
    Synthetic.Categories

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 43/100

    samtoth/agda-synthetic-categories#162 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Wedge sum as pushout product
    Offen
    • Stimmt etwas nicht?
    good first issue UnivalentFoundations

    Schwierigkeit 4/5 1-2 Tage Anfängerfreundlichkeit 48/100

    samtoth/agda-synthetic-categories#161 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Generalising accessible infinity categories
    Offen
    • Stimmt etwas nicht?
    Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 18/100

    samtoth/agda-synthetic-categories#159 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Make type argument for `Hom` implicit
    Offen
    • Stimmt etwas nicht?
    chore

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 52/100

    samtoth/agda-synthetic-categories#153 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Define split factorisation systems
    Offen
    • Stimmt etwas nicht?
    Modalities UnivalentFoundations

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#150 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Clean up imports section of `Synthetic` modules
    Offen
    • Stimmt etwas nicht?
    chore

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100

    samtoth/agda-synthetic-categories#141 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Make library ""safe""
    Offen
    • Stimmt etwas nicht?
    Axioms

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

    samtoth/agda-synthetic-categories#134 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Emacs cannot load agda within nix-shell environment
    Offen
    • Stimmt etwas nicht?
    bug

    Schwierigkeit 4/5 1-2 Tage Anfängerfreundlichkeit 43/100

    samtoth/agda-synthetic-categories#129 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Get rid of postulates
    Offen
    • Stimmt etwas nicht?
    Axioms enhancement question

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 32/100

    samtoth/agda-synthetic-categories#123 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Cofinal/left anodyne maps
    Offen
    • Stimmt etwas nicht?
    Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#117 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Show the universe of Spaces is a category
    Offen
    • Stimmt etwas nicht?
    Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 28/100

    samtoth/agda-synthetic-categories#116 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Get rid of user-side `forester` dependency
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#114 · 8 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • No naïve universe of synthetic categories is Segal
    Offen
    • Stimmt etwas nicht?
    Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    samtoth/agda-synthetic-categories#111 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Adjunction infrastructure
    Offen
    • Stimmt etwas nicht?
    good first issue Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    samtoth/agda-synthetic-categories#110 ·

    Maintainer antworten meist innerhalb von 1 Tag

  • (Co)cartesian fibrations
    Offen
    • Stimmt etwas nicht?
    Synthetic.Categories

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    samtoth/agda-synthetic-categories#109 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

  • Render unicode in browser tab title
    Offen
    • Stimmt etwas nicht?
    bug web

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    samtoth/agda-synthetic-categories#106 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 1 Tag

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.