Skip to content

Issues: plt-amy/1lab

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

22 Open 40 Closed
22 Open 40 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

No spacing between heading and code block
#363 opened Feb 22, 2024 by ncfavier
Links to source code web For issues/pull requests relating to the 1lab website itself.
#213 opened Apr 25, 2023 by plt-amy
1
@SquidDev
Rename Chaotic Bifibration to Constant Bifibration
#209 opened Apr 21, 2023 by TOTBWF
@TOTBWF
Leftover nightmare names
#185 opened Feb 1, 2023 by plt-amy
3 tasks
Change definition of Cartesian to include a terminal object.
#153 opened Oct 24, 2022 by TOTBWF
Big list of wants: better (meta)programming facilities enhancement New feature or request
#152 opened Oct 24, 2022 by plt-amy
20 tasks
1
On higher zoom levels (125%+), the sidebar disappears with no way to access it web For issues/pull requests relating to the 1lab website itself.
#147 opened Oct 22, 2022 by Dessertion
@SquidDev
2
Build daemon for katex web For issues/pull requests relating to the 1lab website itself.
#115 opened Jul 28, 2022 by SquidDev
1
Kernels of ring homomorphisms, quotients, ideals as representing kernels algebra For issues/pull requests relating to the Algebra.* namespace enhancement New feature or request good first issue Good for newcomers
#93 opened May 17, 2022 by plt-amy
2 of 6 tasks
Linton's monadicity theorem category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request
#92 opened May 17, 2022 by plt-amy
@plt-amy
Investigate solver for Ab-categories/ringoids algebra For issues/pull requests relating to the Algebra.* namespace category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request help wanted Extra attention is needed
#89 opened May 17, 2022 by plt-amy
1
Wedges, ends, computation of ends category-theory For issues/pull requests relating to the Cat.* namespace dualization This issue/pull request refers to implementing duals of a pre-existing construction enhancement New feature or request good first issue Good for newcomers
#85 opened May 17, 2022 by plt-amy
(Co)Limit Reasoning Module category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request
#84 opened May 17, 2022 by TOTBWF
1
Show that conservative functors reflect specific (co)limits category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request
#83 opened May 17, 2022 by TOTBWF
Add definitions for preservation/reflection of specific (co)limits category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request
#82 opened May 17, 2022 by TOTBWF
1
Show that left adjoints preserve specific colimits category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request good first issue Good for newcomers
#81 opened May 17, 2022 by TOTBWF
4 tasks
Prove that all of our colimit diagrams are actually colimits category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request good first issue Good for newcomers
#78 opened May 16, 2022 by TOTBWF
1 of 4 tasks
Refactor proof that conservative functors reflect limits bug Something isn't working category-theory For issues/pull requests relating to the Cat.* namespace
#77 opened May 16, 2022 by TOTBWF
@plt-amy
Duskin's Monadicity Theorem category-theory For issues/pull requests relating to the Cat.* namespace enhancement New feature or request
#74 opened May 15, 2022 by TOTBWF
1
@TOTBWF
Macros standing for categories-of-stuff should have mandatory indices enhancement New feature or request web For issues/pull requests relating to the 1lab website itself.
#70 opened May 11, 2022 by plt-amy
@plt-amy
Results needed for topos theory category-theory For issues/pull requests relating to the Cat.* namespace
#49 opened Apr 2, 2022 by plt-amy
8 of 9 tasks
Most pages don't have descriptions help wanted Extra attention is needed
#35 opened Feb 4, 2022 by plt-amy 100+
ProTip! Adding no:label will show everything without a label.