Pages that link to "Item:Q5602981"

The following pages link to Some algebraic problems in the context of functorial semantics of algebraic theories (Q5602981):

Displaying 31 items.

• Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
• On the concrete representation of discrete enriched abstract clones (Q680310) (← links)
• All clones are centralizer clones (Q1040654) (← links)
• Varieties of chain-complete algebras (Q1145208) (← links)
• The Birkhoff theorem for finite algebras (Q1163585) (← links)
• Characterizing Mal'cev conditions (Q1216327) (← links)
• On the relationship between composite and tensor product triples (Q1252285) (← links)
• On the commutative algebra of categories (Q1673645) (← links)
• Functorial models for Petri nets (Q1854467) (← links)
• On coconnected algebras (Q1869193) (← links)
• Homotopy-coherent algebra via Segal conditions (Q2032920) (← links)
• Higher Lawvere theories (Q2173857) (← links)
• General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
• Metrizability and coconnectedness (Q2471006) (← links)
• Combining effects: sum and tensor (Q2500483) (← links)
• On the quasivariety on convex subsets of affine spaces (Q2538651) (← links)
• Une approche transformationnelle à l'algèbre universelle. (A transformational approach to universal algebra) (Q2551116) (← links)
• (Q2709566) (← links)
• (Q3341027) (← links)
• Two-dimensional models of type theory (Q3395310) (← links)
• (Q3597354) (← links)
• (Q3734625) (← links)
• (Q4186522) (← links)
• (Q4668854) (← links)
• (Q4862884) (← links)
• (Q4862885) (← links)
• On 1-form classifiers^∗ (Q4899235) (← links)
• Representing varieties of algebras by algebras (Q5597555) (← links)
• Extension of Algebraic Theories (Q5623868) (← links)
• Extension of Algebraic Theories (Q5637050) (← links)
• GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES (Q6124457) (← links)