The following pages link to (Q5545978):
Displayed 31 items.
- Fuzzy terms (Q277347) (← links)
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (Q687583) (← links)
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Free groupoids, trees, and free groups (Q802740) (← links)
- On the cobordism and commutative monoid with cancellation approaches to conformal field theory (Q872171) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Coherence for bicategories and indexed categories (Q1059704) (← links)
- Variation through enrichment (Q1061829) (← links)
- A general formulation of homotopy limits (Q1064577) (← links)
- Categorical aspects of data type constructors (Q1094129) (← links)
- Finite cardinals in general topoi (Q1103042) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- On the existence and exactness of the associated sheaf functor (Q1213950) (← links)
- Homotopy coherent category theory and \(A_\infty\)-structures in monoidal categories (Q1380029) (← links)
- Maps of finite powers of metric spaces (recursive conditions for spaces at work) (Q1591085) (← links)
- A-transformation dans les arbres n-aires (Q1836307) (← links)
- Relative cohomology of algebraic theories (Q2014021) (← links)
- Coherence for associativity not an isomorphism (Q2554765) (← links)
- (Q3324132) (← links)
- (Q3532317) (← links)
- (Q3986951) (← links)
- (Q4029347) (← links)
- (Q4104121) (← links)
- (Q4862885) (← links)
- Topos Theory in Montréal in the 1970s: My Personal Involvement (Q5208240) (← links)
- (Q5598371) (← links)
- Coherence for categories with associativity, commutativity and distributivity (Q5647073) (← links)
- (Q5679011) (← links)