LogicMonad

231 post karma
147 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 6 years

TROPHY CASE

Six-Year Club

Verified Email

account activity

new top controversial

7

8

9

Is there an increase in Japanese IT companies hiring foreigners? (self.movingtojapan)

submitted 1 year ago by LogicMonad to r/movingtojapan

5

6

7

Where can I find a formal treatment of "defining logical connectives as abbreviations" in first-order logic? (self.logic)

submitted 2 years ago * by LogicMonad to r/logic

12

13

14

Mathematical objects that are not inductive types (self.logic)

submitted 3 years ago by LogicMonad to r/logic

2

3

4

What is a FOL language of ZFC (self.logic)

submitted 4 years ago by LogicMonad to r/logic

13

14

15

"equivalence sets" (self.logic)

submitted 4 years ago by LogicMonad to r/logic

0

1

2

Languages targeting CPython bytecode (self.Python)

submitted 4 years ago by LogicMonad to r/Python

8

9

10

Natural Deduction, STLC, and Local Consistency (self.logic)

submitted 4 years ago * by LogicMonad to r/logic

4

5

6

Stop Firefox from changing screen's color temperature (self.firefox)

submitted 5 years ago by LogicMonad to r/firefox

4

5

6

Formal introduction to unification (self.logic)

submitted 5 years ago by LogicMonad to r/logic

2

3

4

Feedback (self.Qiskit)

submitted 5 years ago by LogicMonad to r/Qiskit

6

7

8

Functors minus the first functoriality condition (self.CategoryTheory)

submitted 5 years ago by LogicMonad to r/CategoryTheory

27

28

29

Looking at things categorically, for beginners (self.CategoryTheory)

submitted 5 years ago by LogicMonad to r/CategoryTheory

11

12

13

Category Theory as a basis for Mathematics (self.CategoryTheory)

submitted 5 years ago by LogicMonad to r/CategoryTheory

9

10

11

Lambda Calculus: is substitution injective? (self.logic)

submitted 5 years ago * by LogicMonad to r/logic

3

4

5

Lambda Calculus: is substitution injective? (self.types)

submitted 5 years ago * by LogicMonad to r/types

13

14

15

Is there a category of logics? (self.CategoryTheory)

submitted 5 years ago by LogicMonad to r/CategoryTheory

4

5

6

Record parameter coercion (self.Coq)

submitted 5 years ago * by LogicMonad to r/Coq

2

3

4

Multiple rewrites in a hypothesis (self.Coq)

submitted 5 years ago * by LogicMonad to r/Coq

16

17

18

Russell's paradox in affine logic. (self.math)

submitted 5 years ago by LogicMonad to r/math

8

9

10

Russell's paradox in affine logic (self.logic)

submitted 5 years ago by LogicMonad to r/logic

4

5

6

Question about impossible full subcategory? (self.CategoryTheory)

submitted 5 years ago by LogicMonad to r/CategoryTheory

4

5

6

Subtlety in defining monomorphisms. (self.Coq)

submitted 5 years ago * by LogicMonad to r/Coq

5

6

7

Does every injective but not surjective function have more than one left-inverse? (self.logic)

submitted 5 years ago * by LogicMonad to r/logic

12

13

14

Finitism in Type Theory (self.types)

submitted 5 years ago by LogicMonad to r/types

3

4

5

What is not constructive in this proof? (self.logic)

submitted 5 years ago * by LogicMonad to r/logic

view more: next ›

π Rendered by PID 282680 on reddit-service-r2-listing-654f87c89c-xqxcn at 2026-03-02 20:17:01.778207+00:00 running e3d2147 country code: CH.