Pages that link to "Item:Q3877834"

The following pages link to A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on (Q3877834):

Displaying 50 items.

• Martin-Löf complexes (Q385803) (← links)
• Lex colimits (Q456823) (← links)
• On Kan-injectivity of locales and spaces (Q513908) (← links)
• Monads in double categories (Q531324) (← links)
• Monad transformers as monoid transformers (Q615955) (← links)
• Weak reflections and weak factorization systems (Q633788) (← links)
• Closure operators and their middle-interchange law (Q645209) (← links)
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (Q687583) (← links)
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads (Q690382) (← links)
• Category theory for operational semantics (Q703525) (← links)
• Decompositions of dynamical systems induced by the Koopman operator (Q822624) (← links)
• The orthogonal subcategory problem and the small object argument (Q839589) (← links)
• Free monoid in monoidal abelian categories (Q842758) (← links)
• Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories (Q847679) (← links)
• Discrete Lawvere theories and computational effects (Q860883) (← links)
• Combining algebraic effects with continuations (Q879352) (← links)
• Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
• Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
• Homomorphisms of higher categories (Q984873) (← links)
• Bases for parametrized iterativity (Q1004388) (← links)
• A presentation of topoi as algebraic relative to categories or graphs (Q1052452) (← links)
• Closure operators. I (Q1096915) (← links)
• Two-dimensional monad theory (Q1121980) (← links)
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories (Q1269468) (← links)
• Algebraic structure for bicategory enriched categories (Q1295569) (← links)
• Gabriel-Ulmer duality for categories enriched in bicategories (Q1295729) (← links)
• Modulated bicategories (Q1331914) (← links)
• On coalgebra based on classes (Q1434346) (← links)
• A representation result for free cocompletions (Q1584038) (← links)
• On the Penon method of weakening algebraic structures (Q1612131) (← links)
• A synthetic version of Lie's second theorem (Q1656722) (← links)
• Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
• Triads. (Q1763894) (← links)
• A cubical model of homotopy type theory (Q1799035) (← links)
• Almost reflective subcategories of \(\mathbf T \mathbf o \mathbf p\) (Q1803753) (← links)
• On locales of localizations (Q1820229) (← links)
• On limit stability of special classes of continuous maps (Q1862103) (← links)
• What is a finitely related object, categorically? (Q1937977) (← links)
• On semiflexible, flexible and pie algebras (Q1946170) (← links)
• On the construction of functorial factorizations for model categories (Q1948311) (← links)
• Monads and theories (Q2001598) (← links)
• Schreier split extensions of preordered monoids (Q2035656) (← links)
• Higher dimensional categories: induction on extensivity (Q2134826) (← links)
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
• Graphical combinatorics and a distributive law for modular operads (Q2237392) (← links)
• Note on the construction of free monoids (Q2268749) (← links)
• Local presentability of certain comma categories (Q2303778) (← links)
• A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
• Equipping weak equivalences with algebraic structure (Q2305674) (← links)
• Cofibrantly generated lax orthogonal factorisation systems (Q2336048) (← links)