nForum - Search Results Feed (Tag: bi-heyting)2024-03-28T10:52:58+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
subtractionhttps://nforum.ncatlab.org/discussion/7556/2016-12-25T22:35:20+00:002016-12-29T21:21:23+00:00KeithEPetersonhttps://nforum.ncatlab.org/account/1546/
Noticed there was no page for the left adjoint to joins.
Added subtraction.
Noticed there was no page for the left adjoint to joins.
Added subtraction.