The following pages link to (Q3978964):
Displaying 20 items.
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- Levels in the toposes of simplicial sets and cubical sets (Q626735) (← links)
- Objects of categories as complex numbers (Q703807) (← links)
- On the generic solution to \(P(X)\cong X\) in distributive categories (Q1380052) (← links)
- Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category (Q1681852) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- Seven trees in one (Q1901018) (← links)
- Decidable (= separable) objects and morphisms in lextensive categories (Q1916429) (← links)
- Coextensive varieties via central elements (Q2046642) (← links)
- On analytic groupoid cardinality (Q2157478) (← links)
- The hyperconnected maps that are local (Q2223372) (← links)
- An objective representation of the Gaussian integers (Q2643534) (← links)
- Maps with discrete fibers and the origin of basepoints (Q2674403) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- The compositional construction of Markov processes II (Q3006162) (← links)
- (Q5233741) (← links)
- Syntactic characterizations of various classes of locally presentable categories (Q5939609) (← links)
- When do completion processes give rise to extensive categories? (Q5939822) (← links)
- The successive dimension, without elegance (Q6154352) (← links)
- Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)
