# categorical question

**URL:** https://www.ilovephilosophy.com/t/categorical-question/49417
**Category:** Science, Technology, and Math
**Created:** [December 16, 2023, 7:24pm UTC](https://www.ilovephilosophy.com/t/categorical-question/49417 "2023-12-16T19:24:54Z")
**Posts on this page:** 1
**Showing post:** 13

<div class="post-metadata">

### Author: ![Ichthus77](https://www.ilovephilosophy.com/user_avatar/www.ilovephilosophy.com/ichthus77/32/446_2.png) [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [January 29, 2024, 9:59am UTC](https://www.ilovephilosophy.com/t/categorical-question/49417/13 "2024-01-29T09:59:05Z")

</div>

> [@Ichthus77](#):
>
> If “hypothetical (empty) category lacks existential import” is also found in set theory with the empty set, is there a square (hexagon, whatever) of opposition for set theory also, or can one construct one to show synonymous terms between set theory/logic & category theory/logic? Please.

i don’t know  
[en.m.wikipedia.org/wiki/Monoid](https://en.m.wikipedia.org/wiki/Monoid)

---

_[View the full topic](https://www.ilovephilosophy.com/t/categorical-question/49417)._