Octocurious

Home

❯

Filtered (Co)limit

Filtered (Co)limit

29 Apr 20261 min read

A cofiltered limit is a limit indexed by a cofiltered category.
A filtered colimit is a colimit indexed by a filtered category.

(Co)filtered Category

Definition

A category J is filtered when every finite diagram in J has a cocone.
Dually, J is cofiltered when every finite diagram in J has a cone.

Examples

Directed Posets

A directed poset is a non-empty poset in which any two elements have a common upper bound.

Link to original


Graph View

Backlinks

  • Compactness

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community