Tour
About Us
Meta
Loading…
Log in
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
All Sites
Top Users
Digests
User7819
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
8
votes
Models of a certain (weird) equational theory
abstract-algebra
binary-operations
universal-algebra
idempotents
asked Mar 13 '20 at 20:35
math.stackexchange.com
6
votes
Classifying topos of algebraic theory
category-theory
topos-theory
asked Sep 22 '16 at 23:54
math.stackexchange.com
5
votes
Functorial type constructors in System F
lambda-calculus
type-theory
asked Apr 2 '17 at 21:48
cs.stackexchange.com
5
votes
Characterizing $(\mathbb{Z}, <)$ up to isomorphism
logic
first-order-logic
order-theory
integers
asked Apr 2 '20 at 22:27
math.stackexchange.com
Top Answers
No answers with score of 5 or more
Stack Exchange works best with JavaScript enabled
math.stackexchange.com
cs.stackexchange.com