The following pages link to (Q3682648):
Displaying 50 items.
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- A categorical setting for the 4-colour theorem (Q1901000) (← links)
- Constructing a quasi-uniform function space (Q1903595) (← links)
- Extending localization functors (Q1903679) (← links)
- New model categories from old (Q1916400) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- Cartan-Eilenberg cohomology and triples (Q1924666) (← links)
- Relative properties of frame language (Q1964362) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Fuzzy metrization of the spaces of idempotent measures (Q1987692) (← links)
- Monads and theories (Q2001598) (← links)
- On linear exactness properties (Q2035813) (← links)
- Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras (Q2079637) (← links)
- Fast left Kan extensions using the chase (Q2102935) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Hilbert's theorem 90 in monoidal categories (Q2132452) (← links)
- 2-representations and associated coalgebra 1-morphisms for locally wide finitary 2-categories (Q2153794) (← links)
- On the local Cartesian closure of exact completions (Q2184801) (← links)
- Generalized Płonka sums and products (Q2254602) (← links)
- Metrization of free groups on ultrametric spaces (Q2268630) (← links)
- Functional models of neurobiological processes (Q2277172) (← links)
- The balanced tensor product of module categories (Q2312761) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Weak fibrations (Q2366051) (← links)
- Terminal coalgebras in well-founded set theory (Q2367542) (← links)
- Comonadicity and invertible bimodules (Q2370277) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- Book review of: D. Yau, Colored operads (Q2409192) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Powersets of terms and composite monads (Q2457025) (← links)
- Fibrations and universal view updatability (Q2464937) (← links)
- Entwining structures in monoidal categories (Q2474284) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Homotopical algebraic context over differential operators (Q2631922) (← links)
- Weak topologies on toposes (Q2657885) (← links)
- Stone duality for spectral sheaves and the patch monad (Q2689181) (← links)
- Comonadic base change for enriched categories (Q2699441) (← links)
- The definitions of middle object and weak topos (Q2702828) (← links)
- Categories of timed stochastic relations (Q2805158) (← links)
- Quantum logic in dagger kernel categories (Q2825365) (← links)
- Computing over \(K\)-modules (Q2841256) (← links)
- Concrete process categories (Q2841311) (← links)
- Comprehension for coalgebras (Q2842555) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- Paths and simulations (Q2842830) (← links)
