#categorytheory — Public Fediverse posts

This is getting complicated! #haskell #categorytheory

This is getting complicated! #haskell #categorytheory

This is getting complicated! #haskell #categorytheory

This is getting complicated! #haskell #categorytheory

This is getting complicated! #haskell #categorytheory

Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire

Readings shared March 09, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/10-readings_shared_02-09-26 #AI #AI4Math #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #LeanProver #Lisp #Math #Physics #RocqProver

Can you define a 'simplicial set of small simplicial sets' by defining Δⁿ → Simp to be the set of small simplicial sets over Δⁿ, i.e. A → Δⁿ?

Would we then have that the maps B → Simp were in correspondence with the simplicial sets over B, for all B?

#CategoryTheory #SimplicialSets #Homotopy

Can you define a 'simplicial set of small simplicial sets' by defining Δⁿ → Simp to be the set of small simplicial sets over Δⁿ, i.e. A → Δⁿ?

Would we then have that the maps B → Simp were in correspondence with the simplicial sets over B, for all B?

#CategoryTheory #SimplicialSets #Homotopy

Can you define a 'simplicial set of small simplicial sets' by defining Δⁿ → Simp to be the set of small simplicial sets over Δⁿ, i.e. A → Δⁿ?

Would we then have that the maps B → Simp were in correspondence with the simplicial sets over B, for all B?

#CategoryTheory #SimplicialSets #Homotopy

Can you define a 'simplicial set of small simplicial sets' by defining Δⁿ → Simp to be the set of small simplicial sets over Δⁿ, i.e. A → Δⁿ?

Would we then have that the maps B → Simp were in correspondence with the simplicial sets over B, for all B?

#CategoryTheory #SimplicialSets #Homotopy

Can you define a 'simplicial set of small simplicial sets' by defining Δⁿ → Simp to be the set of small simplicial sets over Δⁿ, i.e. A → Δⁿ?

Would we then have that the maps B → Simp were in correspondence with the simplicial sets over B, for all B?

#CategoryTheory #SimplicialSets #Homotopy

Realising that without a recommendation engine posts can't get anywhere without hashtags, lemme add a bunch now: #categorytheory #Python #diagram #monoidal #GraphicalFormalism #PicturingQuantum #GraphicalLinearAlgebra #LogicalNAND
#CharlesSandersPeirce

#Introduction

Hello folks! I'm an undergraduate student in mathematics interested in abstract homotopy theory, and category theory at large! Aside from that, in my spare time I love programming, reading books and listening some good music!

I'm also into vegetarianism, philosophy, open source, looking forward to learn more about socialism and a variety of other topics :)

#maths #categoryTheory #homotopy #programming #music #books #openSource #philosophy #vegetarian #socialism