Characterization of path type of coproduct type via encode-decode
May 20, 2019 by
Displayed precategories, the displayed precategory of categories waiting for update to pull request
Apr 28, 2019 by
Heyting and Boolean algebras, lattices of subsets, set complements waiting for update to pull request
Expunge [cancel_precomposition] and [cancel_postcomposition] from library under discussion
ProTip! Mix and match filters to narrow down what you’re looking for.