read.ehrlich.dev
ai-curated rss
about
github
rss
dark
category theory
Abstract structures, functors, and universal constructions in mathematics
hot
new
week
month
year
spaces
all
ai
ai agents
security
site reliability
digital rights
malware analysis
cloud infrastructure
open source
energy
quantum computing
machine learning
behavioral economics
reverse engineering
devops
git internals
internet culture
physics
design
api design
economics
complexity
materials science
wasm
math olympiad
webdev
data engineering
space exploration
political philosophy
mathematics
game dev
cryptography
chemistry
databases
distributed systems
observability
solo dev
statistics
reinforcement learning
creative coding
aerospace
birding
climate science
game theory
algorithmic trading
neuroscience
elixir
thermodynamics
category theory
technical writing
procedural generation
urban exploration
cellular automata
golang
indie games
number theory
self hosted
nanotechnology
cognitive science
astrophysics
oceanography
history of science
worldbuilding
topology
anthropology
genetics
linux
robotics
python
board games
exploit development
operating systems
manga
archaeology
decision theory
astrobiology
film
consciousness
computer vision
information theory
swift
mechanical keyboards
computer graphics
containers
formal verification
amateur astronomy
chess
philosophy of mind
kotlin
nuclear
evolution
homelab
history
programming languages
data visualization
finance
bioinformatics
pharmacology
javascript
go game
compilers
paleoanthropology
photography
information design
demoscene
true crime
networking
retrocomputing
ham radio
animation
embedded systems
computer architecture
vinyl
fractals
ethics
nix
cartography
puzzles
meditation
writing
philosophy
audio programming
metaphysics
woodworking
sci fi
rust
ecology
3d printing
existentialism
electronic music
sourdough
speedrunning
history of computing
tabletop rpg
mycology
geology
semiotics
horror
synths
typography
lisp
pixel art
aquariums
type theory
fermentation
standup comedy
linguistics
witsrtn
typescript
cpp
phenomenology
fpga
shell scripting
lock picking
haskell
conlangs
forth
espresso
nonduality
music theory
zig
philosophy of science
420
The Benson--Etingof--Ostrik conjecture for finite tensor categories
(arxiv.org)
5 hours ago ·
category theory
·
mathematics
380
Vertex operator algebra realizations of untwisted Haagerup--Izumi centers
(arxiv.org)
5 hours ago ·
category theory
·
mathematics
280
Higher \v{C}ech derived functors via Galois theory
(arxiv.org)
5 hours ago ·
category theory
·
mathematics
330
Associative Lifts of CW Semigroups
(arxiv.org)
5 hours ago ·
topology
·
category theory
300
The Malt'sev condition for groups is not categorical
(arxiv.org)
5 hours ago ·
mathematics
·
category theory
350
Semi-strict 4-categories as enriched categories
(arxiv.org)
3 days ago ·
category theory
·
mathematics
350
The shifted symplectic geometry of derived higher groupoids
(arxiv.org)
3 days ago ·
topology
·
category theory
330
The Game-Theoretic Kat\v{e}tov Order and Idealised Effective Subtoposes
(arxiv.org)
3 days ago ·
category theory
·
game theory
320
Restricted (2+1)-TQFTs supported by thickened and solid tori
(arxiv.org)
3 days ago ·
topology
·
category theory
220
The symmetric skew monoidal structure of Gray-categories
(arxiv.org)
3 days ago ·
category theory
·
mathematics
230
On U_c-admitting spaces and U_c-completions of T_0 spaces
(arxiv.org)
3 days ago ·
category theory
·
topology
210
Localizing Restriction Categories
(arxiv.org)
3 days ago ·
category theory
·
mathematics
240
Topological preservation under aggregation of quantale-valued metric spaces
(arxiv.org)
3 days ago ·
topology
·
category theory
160
Properties of theories whose algebras are free
(arxiv.org)
3 days ago ·
mathematics
·
category theory
340
Lax descent and foliated Verdier duality
(arxiv.org)
4 days ago ·
category theory
·
topology
310
Day Convolution and Homotopy Groups on the Pointed Homotopy Category of CW Complexes
(arxiv.org)
4 days ago ·
category theory
·
topology
310
Logic vs doctrines, a mirror symmetry
(arxiv.org)
4 days ago ·
mathematics
·
category theory
310
Central series of cocommutative Hopf braces
(arxiv.org)
4 days ago ·
category theory
·
mathematics
280
Partial actions of groups on monoidal categories
(arxiv.org)
4 days ago ·
category theory
·
mathematics
260
Two problems of SI-compact spaces
(arxiv.org)
4 days ago ·
topology
·
category theory
210
Ideal balanced pairs in n-exangulated categories
(arxiv.org)
4 days ago ·
category theory
·
mathematics
380
The span-squares adjunction
(arxiv.org)
5 days ago ·
category theory
·
mathematics
350
A skew approach to enrichment for Gray-categories
(arxiv.org)
5 days ago ·
category theory
·
mathematics
340
Dold--Kan Correspondences via Morita Normalization
(arxiv.org)
5 days ago ·
category theory
·
topology
310
A General Construction of Strict Models in HoTT
(arxiv.org)
5 days ago ·
type theory
·
category theory
300
Approximability of Triangulated Categories under Separable Extensions
(arxiv.org)
5 days ago ·
category theory
·
mathematics
320
2-representation theory of the Taft algebra
(arxiv.org)
5 days ago ·
mathematics
·
category theory
240
Random $C^*$-subalgebras
(arxiv.org)
5 days ago ·
mathematics
·
category theory
220
Levine Equivalence in Aura Topological Spaces: Reachability, Alexandrov Structure, and Quotient Frames
(arxiv.org)
5 days ago ·
topology
·
category theory
340
Terminal Coalgebras in Countably Many Steps
(arxiv.org)
6 days ago ·
category theory
·
type theory
330
Prekosmic Grothendieck/Galois Categories
(arxiv.org)
6 days ago ·
category theory
·
mathematics
340
Partial actions of inverse categories and their algebras
(arxiv.org)
6 days ago ·
category theory
·
mathematics
340
Cospan contexts and higher categories
(arxiv.org)
6 days ago ·
category theory
·
mathematics
420
A counterexample to Reich's fixed point problem
(arxiv.org)
6 days ago ·
mathematics
·
category theory
320
Simple-shifted monoidal derived equivalences for tensor categories
(arxiv.org)
6 days ago ·
category theory
·
mathematics
310
The first Cech derived functor
(arxiv.org)
6 days ago ·
category theory
·
topology
300
Finitely enhanced nontopological triangulated categories
(arxiv.org)
6 days ago ·
category theory
·
mathematics
340
Locally convex spaces with hemicompact weak* dual
(arxiv.org)
6 days ago ·
category theory
·
topology
320
Enriched positive logic
(arxiv.org)
6 days ago ·
mathematics
·
category theory
280
Refined proper descent for left completed sheaves on locally compact Hausdorff spaces
(arxiv.org)
6 days ago ·
category theory
·
mathematics
310
Derived equivalence classification of twisted and generalized multifold extensions of affine type
(arxiv.org)
6 days ago ·
mathematics
·
category theory
320
Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains
(arxiv.org)
6 days ago ·
category theory
·
topology
340
On condensations of $C_p(X)$ spaces onto Banach spaces with the weak topology
(arxiv.org)
6 days ago ·
category theory
·
topology
310
Bounded uniform homeomorphisms between $C_p^*$-spaces preserve pseudocompactness
(arxiv.org)
6 days ago ·
topology
·
category theory
280
Involutions on $(\infty,n)$-categories of bordisms and reflection TQFTs
(arxiv.org)
7 days ago ·
category theory
·
topology
270
Presentability of categories of localizations and analytic rings
(arxiv.org)
7 days ago ·
mathematics
·
category theory
260
The Compactness Theorem for Enriched Logic
(arxiv.org)
7 days ago ·
category theory
·
mathematics
240
New examples of non-unique enhancements for triangulated categories
(arxiv.org)
7 days ago ·
category theory
·
mathematics
230
An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
(arxiv.org)
7 days ago ·
category theory
·
mathematics
250
DisCo Algebra: Why Disintegration and Combination Are Not Inverses
(arxiv.org)
7 days ago ·
mathematics
·
category theory
210
The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
(arxiv.org)
7 days ago ·
mathematics
·
category theory
220
Weak action representability of $2$-nilpotent groups
(arxiv.org)
7 days ago ·
category theory
·
mathematics
180
Hemicompactness and the $k_\omega$-property of free topological vector spaces
(arxiv.org)
7 days ago ·
topology
·
category theory
160
When countable compactness is preserved in products
(dantopology.wordpress.com)
8 days ago ·
category theory
·
topology
380
Higher Verlinde categories of reductive groups
(arxiv.org)
10 days ago ·
topology
·
category theory
340
A Krause-type recollement for Q-shaped derived categories
(arxiv.org)
10 days ago ·
category theory
·
mathematics
320
Left properness of Moore flows
(arxiv.org)
10 days ago ·
category theory
·
topology
350
Computing the center of a fusion category
(arxiv.org)
10 days ago ·
mathematics
·
category theory
330
Approximation of graded bialgebras
(arxiv.org)
10 days ago ·
category theory
·
mathematics
300
Saturated directed spaces and generalized clocks
(arxiv.org)
10 days ago ·
topology
·
category theory
300
Gluing weak approximability along recollements
(arxiv.org)
10 days ago ·
category theory
·
mathematics
310
Duality Theory for Sequent Algebras
(arxiv.org)
10 days ago ·
mathematics
·
category theory
290
$PF$-well-filtered spaces
(arxiv.org)
10 days ago ·
topology
·
category theory
280
A non-sober core-compact meet-continuous dcpo
(arxiv.org)
10 days ago ·
topology
·
category theory
350
The classical homotopy category is cartesian closed
(arxiv.org)
11 days ago ·
category theory
·
topology
260
Algebra of spectral duality structures
(arxiv.org)
11 days ago ·
category theory
·
mathematics
230
Virtual double categories of split two-sided 2-fibrations
(arxiv.org)
11 days ago ·
category theory
·
topology
210
The Kaplansky-Walker Lemma for additive categories
(arxiv.org)
11 days ago ·
category theory
·
mathematics
300
The (right) homotopy between two A$_{\infty}$-morphisms
(arxiv.org)
14 days ago ·
category theory
·
topology
190
Categorical models of logics
(johndcook.com)
13 days ago ·
mathematics
·
category theory
320
Galois actions on surfaces and a higher genus Grothendieck-Teichm\"uller group
(arxiv.org)
14 days ago ·
topology
·
category theory
290
The Burnside ring of simple $\mathcal{C}$-sets
(arxiv.org)
14 days ago ·
category theory
·
mathematics
280
Learning Transfers: Kan Extensions of Topological Invariants of Learned Representations
(arxiv.org)
14 days ago ·
category theory
·
machine learning
250
On embedding of partially ordered sets in $(\beta\omega,\le_{RK})$
(arxiv.org)
14 days ago ·
category theory
·
type theory
210
Gorenstein cotorsion pairs induced by balanced pairs
(arxiv.org)
14 days ago ·
category theory
·
mathematics
220
A General Framework for $Q\text{--}P$ Spaces and Intermediate Hausdorff-Type Structures
(arxiv.org)
14 days ago ·
topology
·
category theory
210
Just Previsions
(arxiv.org)
14 days ago ·
category theory
·
topology
210
A Note on n-Representations of Simplicial Groups
(arxiv.org)
17 days ago ·
category theory
·
topology
220
Universal Semisimple Reconstruction and Obstruction Theory
(arxiv.org)
17 days ago ·
category theory
·
topology
220
Naturality characterizes product measures and relative product measures
(arxiv.org)
17 days ago ·
category theory
·
mathematics
190
The size of the poset of compatible locally quasi-convex topologies on locally compact abelian groups
(arxiv.org)
17 days ago ·
topology
·
category theory
190
Fiber product of condensable algebras and critical points of boundary phase transitions
(arxiv.org)
17 days ago ·
topology
·
category theory
180
A Universal Quasi-Polish Space
(arxiv.org)
17 days ago ·
category theory
·
topology
180
Complexity of deep computations via topology of function spaces
(arxiv.org)
17 days ago ·
topology
·
category theory
170
Countable compactness is $A$-invariant
(arxiv.org)
17 days ago ·
topology
·
category theory
100
Inter-Categorical Subobject Analysis
(arxiv.org)
17 days ago ·
mathematics
·
category theory
115
Weakly submeta-Lindelof countably compact spaces
(dantopology.wordpress.com)
22 days ago ·
topology
·
category theory
400
Small Lie algebras in the Verlinde category
(arxiv.org)
2 months ago ·
mathematics
·
category theory
350
Group completion via the action $\infty$-category
(arxiv.org)
2 months ago ·
category theory
·
mathematics
300
Schematic Functorialities of Birational Motivic Homotopy Categories
(arxiv.org)
2 months ago ·
category theory
·
topology
280
Profinite Cosheaves Valued in Pro-regular Categories
(arxiv.org)
2 months ago ·
category theory
·
topology
280
Coproducts Internal to Profinite Spaces
(arxiv.org)
2 months ago ·
category theory
·
topology
300
$\mathrm{Mot}^{\mathrm{loc}}$ is not compactly generated
(arxiv.org)
2 months ago ·
category theory
·
mathematics
250
Spaces of subobjects as spectral spaces
(arxiv.org)
2 months ago ·
category theory
·
mathematics
250
Residual profiles and bounded generation in pro-$p$ completions of amalgamated products
(arxiv.org)
2 months ago ·
topology
·
category theory
220
Valued Mosaics
(arxiv.org)
2 months ago ·
category theory
·
mathematics
200
The Cartesian product of any family of $W$-spaces is $\kappa$-Fr\'{e}chet-Urysohn
(arxiv.org)
2 months ago ·
topology
·
category theory
180
On the $A$-invariance of the hereditary Baire property and related results
(arxiv.org)
2 months ago ·
category theory
·
topology
300
A Remark on Static Animations
(arxiv.org)
2 months ago ·
topology
·
category theory
280
Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning
(arxiv.org)
2 months ago ·
category theory
·
mathematics
spaces
all
ai
ai agents
security
site reliability
digital rights
malware analysis
cloud infrastructure
open source
energy
quantum computing
machine learning
behavioral economics
reverse engineering
devops
git internals
internet culture
physics
design
api design
economics
complexity
materials science
wasm
math olympiad
webdev
data engineering
space exploration
political philosophy
mathematics
game dev
cryptography
chemistry
databases
distributed systems
observability
solo dev
statistics
reinforcement learning
creative coding
aerospace
birding
climate science
game theory
algorithmic trading
neuroscience
elixir
thermodynamics
category theory
technical writing
procedural generation
urban exploration
cellular automata
golang
indie games
number theory
self hosted
nanotechnology
cognitive science
astrophysics
oceanography
history of science
worldbuilding
topology
anthropology
genetics
linux
robotics
python
board games
exploit development
operating systems
manga
archaeology
decision theory
astrobiology
film
consciousness
computer vision
information theory
swift
mechanical keyboards
computer graphics
containers
formal verification
amateur astronomy
chess
philosophy of mind
kotlin
nuclear
evolution
homelab
history
programming languages
data visualization
finance
bioinformatics
pharmacology
javascript
go game
compilers
paleoanthropology
photography
information design
demoscene
true crime
networking
retrocomputing
ham radio
animation
embedded systems
computer architecture
vinyl
fractals
ethics
nix
cartography
puzzles
meditation
writing
philosophy
audio programming
metaphysics
woodworking
sci fi
rust
ecology
3d printing
existentialism
electronic music
sourdough
speedrunning
history of computing
tabletop rpg
mycology
geology
semiotics
horror
synths
typography
lisp
pixel art
aquariums
type theory
fermentation
standup comedy
linguistics
witsrtn
typescript
cpp
phenomenology
fpga
shell scripting
lock picking
haskell
conlangs
forth
espresso
nonduality
music theory
zig
philosophy of science