Question

The relation between the left- and right- adjoints participating in Galois connections w.r.t. a common functor

score 125 · Answer 1 · 2026-03-25 01:18:11

125

Views

The relation between the left- and right- adjoints participating in Galois connections w.r.t. a common functor

Published on 25 Mar 2026 - 1:18

score 138 · Answer 2 · 2026-03-24 17:29:21

138

Views

Scott topology vs the topology generated by the complements of principal ideals

Published on 24 Mar 2026 - 17:29

score 1.9k · Answer 3 · 2018-08-01 04:03:53

1.9k

Views

Proof of least upper bound and greatest lower bound property of an ordered set

Published on 01 Aug 2018 - 4:03

score 123 · Answer 4 · 2018-08-01 15:45:33

123

Views

The supremum of the sum is at least as big as the sum of the suprema

Published on 01 Aug 2018 - 15:45

score 159 · Answer 5 · 2018-08-04 00:30:40

159

Views

Proving that every chain in a Dedekind-finite poset has an upper bound

Published on 04 Aug 2018 - 0:30

score 121 · Answer 6 · 2018-08-04 09:08:51

121

Views

If there is a total order on $A$ and there is surjection $A\rightarrow B$ then can $B$ be totally ordered?

Published on 04 Aug 2018 - 9:08

score 366 · Answer 7 · 2026-03-25 14:19:24

366

Views

Proving the Bourbaki–Witt Theorem using Recursion.

Published on 25 Mar 2026 - 14:19

score 167 · Answer 8 · 2026-03-25 11:06:57

167

Views

Uncountable Collections of Arcs In the Plane with Prescribed Properties

Published on 25 Mar 2026 - 11:06

score 161 · Answer 9 · 2018-08-05 21:10:14

161

Views

Is this ordered set of vectors a dcpo?

Published on 05 Aug 2018 - 21:10

score 21 · Answer 10 · 2026-03-25 15:38:52

21

Views

Multiplying to make sorted sequence - limit on multiplicand

Published on 25 Mar 2026 - 15:38

score 77 · Answer 11 · 2018-08-06 01:04:26

77

Views

Having a hard time wrapping my head around order relations

Published on 06 Aug 2018 - 1:04

score 195 · Answer 12 · 2018-08-06 09:12:25

195

Views

Alternative definition of "sheaf"

Published on 06 Aug 2018 - 9:12

score 259 · Answer 13 · 2018-08-07 05:54:39

259

Views

Can a partial order have a maximal antichain of maximal cardinality which is disjoint from a maximal chain?

Published on 07 Aug 2018 - 5:54

score 126 · Answer 14 · 2026-03-25 05:58:58

126

Views

Characterize Powersets among CPOs

Published on 25 Mar 2026 - 5:58

score 577 · Answer 15 · 2026-03-19 18:35:48

577

Views

Representation theorem for Complete Atomic Heyting Algebras

Published on 19 Mar 2026 - 18:35

List Question

The relation between the left- and right- adjoints participating in Galois connections w.r.t. a common functor

Scott topology vs the topology generated by the complements of principal ideals

Proof of least upper bound and greatest lower bound property of an ordered set

The supremum of the sum is at least as big as the sum of the suprema

Proving that every chain in a Dedekind-finite poset has an upper bound

If there is a total order on $A$ and there is surjection $A\rightarrow B$ then can $B$ be totally ordered?

Proving the Bourbaki–Witt Theorem using Recursion.

Uncountable Collections of Arcs In the Plane with Prescribed Properties

Is this ordered set of vectors a dcpo?

Multiplying to make sorted sequence - limit on multiplicand

Having a hard time wrapping my head around order relations

Alternative definition of "sheaf"

Can a partial order have a maximal antichain of maximal cardinality which is disjoint from a maximal chain?

Characterize Powersets among CPOs

Representation theorem for Complete Atomic Heyting Algebras

Trending Questions

Popular # Hahtags

Popular Questions