Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / maxsnew/cubical-categorical-logic issues and pull requests

#164 - Move --safe flag to library file

Pull Request - State: open - Opened by stschaef 13 days ago

#160 - Displayed Psh Homomorphisms

Issue - State: open - Opened by maxsnew 16 days ago

#155 - Expv reindex

Pull Request - State: open - Opened by maxsnew 21 days ago

#154 - Performance: Make displayed functor proofs opaque

Issue - State: open - Opened by maxsnew 21 days ago

#153 - universal quantifiers in reindexed displayed categories

Pull Request - State: closed - Opened by maxsnew 21 days ago

#152 - Move --safe to the .agda-lib file

Issue - State: open - Opened by maxsnew 22 days ago

#151 - Notation for isFibration and UniversalQuantifier(s)

Pull Request - State: closed - Opened by stschaef 23 days ago

#149 - weakening a CCC gives a displayed CCC

Issue - State: open - Opened by maxsnew 23 days ago

#146 - Change readme to md for better link formatting

Pull Request - State: closed - Opened by maxsnew 28 days ago

#144 - Generate and Deploy HTML

Pull Request - State: open - Opened by stschaef 30 days ago

#143 - cubical 0.9

Pull Request - State: closed - Opened by maxsnew about 1 month ago

#142 - HTML Rendered Online Docs

Issue - State: closed - Opened by maxsnew about 1 month ago - 5 comments
Labels: tools

#139 - update readme

Pull Request - State: open - Opened by maxsnew about 1 month ago

#138 - Reindexing preserves Exponential^V, Universal Quantifier

Issue - State: open - Opened by maxsnew about 1 month ago

#137 - Exponential^V + Universal Quantifier => Exponential^D

Issue - State: open - Opened by maxsnew about 1 month ago

#136 - Prove that Presheaf^D is Cartesian Closed^V

Issue - State: open - Opened by maxsnew about 1 month ago

#134 - get compiling with 2.8.0, make FunctorComprehension args explicit

Pull Request - State: open - Opened by maxsnew about 1 month ago

#131 - Add citation file

Pull Request - State: closed - Opened by stschaef about 2 months ago - 1 comment

#129 - Update to Agda 2.8

Issue - State: open - Opened by maxsnew about 2 months ago
Labels: tools

#128 - Universal Quantifier/Pi

Issue - State: closed - Opened by maxsnew about 2 months ago - 4 comments

#127 - Free CCC

Issue - State: open - Opened by maxsnew about 2 months ago

#126 - Add Cubical Commit into Cache Key

Pull Request - State: closed - Opened by stschaef about 2 months ago

#124 - Simpler functor comprehension

Pull Request - State: open - Opened by maxsnew about 2 months ago

#123 - Displayed functor comprehension

Pull Request - State: closed - Opened by maxsnew about 2 months ago - 1 comment

#122 - Displayed Exponentials

Issue - State: open - Opened by maxsnew about 2 months ago

#121 - Vertical Exponentials

Issue - State: open - Opened by maxsnew about 2 months ago

#120 - remove redundant Displayed.Instances.Hom module

Pull Request - State: closed - Opened by maxsnew 3 months ago

#120 - remove redundant Displayed.Instances.Hom module

Pull Request - State: closed - Opened by maxsnew 3 months ago

#119 - Put caching back into the CI

Pull Request - State: closed - Opened by stschaef 6 months ago - 1 comment

#119 - Put caching back into the CI

Pull Request - State: closed - Opened by stschaef 6 months ago - 1 comment

#118 - normalization for the free cartesian category

Pull Request - State: open - Opened by hejohns 9 months ago

#118 - normalization for the free cartesian category

Pull Request - State: open - Opened by hejohns 9 months ago

#117 - New definitions of displayed and vertical universal elements

Pull Request - State: closed - Opened by maxsnew 9 months ago - 1 comment

#117 - New definitions of displayed and vertical universal elements

Pull Request - State: open - Opened by maxsnew 9 months ago

#116 - Redundancy

Issue - State: open - Opened by maxsnew 10 months ago

#115 - Monoidal combinators

Pull Request - State: closed - Opened by maxsnew 10 months ago

#115 - Monoidal combinators

Pull Request - State: closed - Opened by maxsnew 10 months ago

#114 - Agda bug

Issue - State: open - Opened by maxsnew 10 months ago

#113 - CI is Broken

Issue - State: closed - Opened by maxsnew 10 months ago - 4 comments

#112 - Coherence theorem for monoidal categories

Pull Request - State: closed - Opened by maxsnew 11 months ago - 1 comment

#111 - Reconcile with upstream Displayed Reasoning changes

Pull Request - State: closed - Opened by hejohns 12 months ago - 1 comment

#111 - Reconcile with upstream Displayed Reasoning changes

Pull Request - State: closed - Opened by hejohns 12 months ago - 1 comment

#110 - Displayed Reasoning changes upstream

Issue - State: closed - Opened by maxsnew 12 months ago - 2 comments

#109 - Add caching to the CI

Issue - State: closed - Opened by stschaef 12 months ago - 1 comment

#108 - Removing caching, remove Agda std-lib

Pull Request - State: closed - Opened by stschaef 12 months ago

#108 - Removing caching, remove Agda std-lib

Pull Request - State: closed - Opened by stschaef 12 months ago

#107 - Section upstream

Pull Request - State: closed - Opened by maxsnew 12 months ago

#107 - Section upstream

Pull Request - State: closed - Opened by maxsnew 12 months ago

#105 - spin off fix-whitespace into its own CI step

Pull Request - State: closed - Opened by maxsnew about 1 year ago

#104 - Alternate Definitions of Displayed Cats + Profunctor Homomorphism Stuff + Ends

Pull Request - State: closed - Opened by maxsnew about 1 year ago - 1 comment

#104 - Alternate Definitions of Displayed Cats + Profunctor Homomorphism Stuff + Ends

Pull Request - State: closed - Opened by maxsnew about 1 year ago - 1 comment

#103 - citation file

Issue - State: open - Opened by maxsnew about 1 year ago
Labels: tools

#102 - Presheaf ccc

Pull Request - State: closed - Opened by bond15 about 1 year ago - 10 comments

#102 - Presheaf ccc

Pull Request - State: closed - Opened by bond15 about 1 year ago - 10 comments

#101 - Conservativity of freely adding 1,× to a free Category

Pull Request - State: closed - Opened by hejohns about 1 year ago - 6 comments

#101 - Conservativity of freely adding 1,× to a free Category

Pull Request - State: closed - Opened by hejohns about 1 year ago - 5 comments

#100 - Wide subcategories

Pull Request - State: open - Opened by nvarner over 1 year ago

#100 - Wide subcategories

Pull Request - State: closed - Opened by nvarner over 1 year ago

#99 - line length script update

Pull Request - State: closed - Opened by stschaef over 1 year ago

#98 - Check Line Length error

Issue - State: closed - Opened by maxsnew over 1 year ago - 17 comments
Labels: tools

#97 - Cartesian Closed Structure on Presheaf Category

Issue - State: closed - Opened by bond15 over 1 year ago - 4 comments

#96 - SETᴰ has VerticalTerminalsᴰ

Pull Request - State: closed - Opened by hejohns over 1 year ago

#96 - SETᴰ has VerticalTerminalsᴰ

Pull Request - State: closed - Opened by hejohns over 1 year ago

#95 - Gluing for Free cat with terminal objects

Pull Request - State: closed - Opened by maxsnew over 1 year ago - 7 comments

#95 - Gluing for Free cat with terminal objects

Pull Request - State: closed - Opened by maxsnew over 1 year ago - 7 comments

#94 - Vertical products

Pull Request - State: closed - Opened by hejohns over 1 year ago - 4 comments

#94 - Vertical products

Pull Request - State: closed - Opened by hejohns over 1 year ago - 3 comments

#93 - move line length check to script

Pull Request - State: closed - Opened by hejohns over 1 year ago

#93 - move line length check to script

Pull Request - State: open - Opened by hejohns over 1 year ago

#92 - Relative monad

Pull Request - State: open - Opened by maxsnew over 1 year ago

#92 - Relative monad

Pull Request - State: open - Opened by maxsnew over 1 year ago - 1 comment

#91 - Update UMP.agda, NaturalModels/, Syntax/ to build again

Issue - State: open - Opened by hejohns over 1 year ago

#90 - incremental Makefile

Pull Request - State: closed - Opened by hejohns over 1 year ago - 5 comments

#90 - incremental Makefile

Pull Request - State: closed - Opened by hejohns over 1 year ago - 4 comments

#89 - incremental Makefile

Issue - State: closed - Opened by maxsnew over 1 year ago - 3 comments
Labels: tools

#88 - update upstream cubical in CI

Pull Request - State: closed - Opened by maxsnew over 1 year ago

#88 - update upstream cubical in CI

Pull Request - State: closed - Opened by maxsnew over 1 year ago

#87 - Sync with cubical

Issue - State: open - Opened by maxsnew over 1 year ago

#86 - Peg upstream cubical to a particular commit

Pull Request - State: closed - Opened by maxsnew over 1 year ago

#86 - Peg upstream cubical to a particular commit

Pull Request - State: closed - Opened by maxsnew over 1 year ago

#85 - Move CI line length check to a tracked script?

Issue - State: open - Opened by hejohns over 1 year ago

#84 - Peg CI to specific commits

Issue - State: closed - Opened by maxsnew over 1 year ago - 4 comments

#83 - Vertical Terminal Objects

Pull Request - State: closed - Opened by hejohns over 1 year ago - 3 comments

#83 - Vertical Terminal Objects

Pull Request - State: closed - Opened by hejohns over 1 year ago - 3 comments

#82 - Vertical terminal objects

Pull Request - State: closed - Opened by hejohns over 1 year ago - 1 comment

#81 - Make main build again

Pull Request - State: closed - Opened by hejohns over 1 year ago

#81 - Make main build again

Pull Request - State: closed - Opened by hejohns over 1 year ago

#80 - haskell/action/setup to haskell-actions/setup

Pull Request - State: closed - Opened by hejohns over 1 year ago - 1 comment

#80 - haskell/action/setup to haskell-actions/setup

Pull Request - State: closed - Opened by hejohns over 1 year ago - 1 comment

#79 - Free category with terminal object

Pull Request - State: closed - Opened by hejohns over 1 year ago - 3 comments

#79 - Free category with terminal object

Pull Request - State: closed - Opened by hejohns over 1 year ago - 3 comments

#78 - Coend

Pull Request - State: open - Opened by bond15 over 1 year ago - 3 comments