Martin Milan

Martin Milan

@uhu6drb9cmm389j0

Joined Jul 26, 2024

6

Following

1

Followers

3.41k

pages

8.19k

highlights

1.87k

views
M
W
F
Aug
Sep
Oct
Nov
Total Days:
Total Weeks:
542-Days 📚
110-Weeks 📚
Show All

1 Category

docs.racket-lang.org/ctp/_Category_.html

Aug 9, 2026

1

CategoricalData/hydra: Graph programming language

github.com/CategoricalData/hydra

Aug 9, 2026

1

Is there a set theoretic way to look at SQL?

cstheory.stackexchange.com/questions/33669/is-there-a-set-theoretic-way-to-look-at-sql

Aug 9, 2026

2

Network Theory (Part 17)

johncarlosbaez.wordpress.com/2011/11/12/network-theory-part-17/

Aug 9, 2026

4

catlog::refs - Rust

next.catcolab.org/dev/rust/catlog/refs/

Aug 9, 2026

1

CatColab: Mathematical Documentation

next.catcolab.org/math/index.xml

Aug 9, 2026

7

Petri net - CatColab

catcolab.org/help/logics/petri-net

Aug 9, 2026

2

SEIRV | Visualization and simulation - CatColab

catcolab.org/model/0195001d-3c7d-7cb3-9019-2f411cfa2663/analysis/019b8f9a-8ed8-7a51-8a96-2cba807a892a

Aug 9, 2026

1

Regulatory network - CatColab

catcolab.org/help/logics/reg-net

Aug 9, 2026

2

Logics - CatColab

catcolab.org/help/logics/

Aug 9, 2026

3

Introducing the MathFoldr Project – Topos Institute

topos.institute/blog/2021-07-11-introducing-mathfoldr/

Aug 9, 2026

1

CatColab – Topos Institute

topos.institute/work/catcolab/

Aug 9, 2026

6

A Networked World (Part 3)

johncarlosbaez.wordpress.com/2015/04/02/a-networked-world-part-3/

Aug 9, 2026

13

A Networked World (Part 2)

johncarlosbaez.wordpress.com/2015/03/30/spivak-part-2/

Aug 8, 2026

14

A Networked World (Part 1)

johncarlosbaez.wordpress.com/2015/03/27/spivak-part-1/

Aug 8, 2026

14

Is there a relationship between relational algebra/calculus and category theory?

cstheory.stackexchange.com/questions/38221/is-there-a-relationship-between-relational-algebra-calculus-and-category-theory?rq=1

Aug 8, 2026

1

What's the relation between OOP and category theory?

cstheory.stackexchange.com/questions/21387/whats-the-relation-between-oop-and-category-theory?rq=1

Aug 8, 2026

1

screen apnea or email apnea

old.reddit.com/r/SingingAsCoping/comments/1vj2pbj/screen_apnea_or_email_apnea/

Aug 8, 2026

1

Memory notebook organized by topic

eatspeakthink.com/wp-content/uploads/2022/12/Memory-notebook-organized-by-topic-2.pdf

Aug 8, 2026

2

Is there a theory that combines category theory/abstract algebra and computational complexity?

stackoverflow.com/questions/11725899/is-there-a-theory-that-combines-category-theory-abstract-algebra-and-computation

Aug 8, 2026

2

Unexpected Connections | The n-Category Café

golem.ph.utexas.edu/category/2013/10/unexpected_connections.html

Aug 8, 2026

2

madnight/awesome-category-theory: A curated list of awesome Category Theory resources.

github.com/madnight/awesome-category-theory

Aug 8, 2026

2

Calculus Ratiocinator vs. Characteristica Universalis? The Two Traditions in Logic: An open conversation - Research - Hugging Face Forums

discuss.huggingface.co/t/calculus-ratiocinator-vs-characteristica-universalis-the-two-traditions-in-logic-an-open-conversation/162650/7

Aug 8, 2026

1

Calculus Ratiocinator vs. Characteristica Universalis? The Two Traditions in Logic: An open conversation - Research - Hugging Face Forums

discuss.huggingface.co/t/calculus-ratiocinator-vs-characteristica-universalis-the-two-traditions-in-logic-an-open-conversation/162650/2

Aug 8, 2026

3

Calculus Ratiocinator vs. Characteristica Universalis? The Two Traditions in Logic: An open conversation - Research - Hugging Face Forums

discuss.huggingface.co/t/calculus-ratiocinator-vs-characteristica-universalis-the-two-traditions-in-logic-an-open-conversation/162650

Aug 8, 2026

1

Learn two easy ways to make a memory notebook - EatSpeakThink.com

eatspeakthink.com/make-a-memory-notebook/

Aug 7, 2026

2

Thieves as a pre-reading strategy - DeveloPassion

notes.dsebastien.net/30+Areas/32+Literature+notes/32.02+Content/Thieves+as+a+pre-reading+strategy

Aug 7, 2026

2

IT Concepts Wall - 200+ Curated IT & Development Resources

www.store.dsebastien.net/product/it-concepts-wall/?variant=the-board

Aug 7, 2026

1

If they don't value my time, they don't deserve my attention - DeveloPassion

notes.dsebastien.net/30+Areas/33+Permanent+notes/33.04+Creations/Quotes/If+they+don't+value+my+time%2C+they+don't+deserve+my+attention

Aug 7, 2026

1

34 Maps - DeveloPassion

notes.dsebastien.net/30+Areas/34+Maps/34+Maps

Aug 7, 2026

1

Join Us

psychdeprescribing.app.neoncrm.com/forms/join-us

Aug 7, 2026

4

Find Your Perfect Note-Taking app with this Free Database of ~300 Tools for Thought

www.dsebastien.net/free-pkm-tools-database/

Aug 7, 2026

1

1803.05316v3.pdf

arxiv.org/pdf/1803.05316

Aug 7, 2026

21