Pages that link to "Item:Q2383009"
From MaRDI portal
The following pages link to Topological theories and closed objects (Q2383009):
Displaying 37 items.
- Approaching metric domains (Q395665) (← links)
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- Descent morphisms and a van Kampen theorem in categories of lax algebras (Q429316) (← links)
- Lax algebra meets topology (Q429335) (← links)
- Kleisli enriched (Q456865) (← links)
- Towards Stone duality for topological theories (Q536043) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- Injective spaces via adjunction (Q615891) (← links)
- A duality of generalized metric spaces (Q645202) (← links)
- Representable \((\mathbb{T},\mathbf{V})\)-categories (Q891924) (← links)
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches (Q969582) (← links)
- Lawvere completion and separation via closure (Q987494) (← links)
- Lawvere completeness in topology (Q1022482) (← links)
- Enriched Stone-type dualities (Q1644968) (← links)
- Quantalic topological theories (Q1689324) (← links)
- Met-like categories amongst concrete topological categories (Q1794284) (← links)
- Hausdorff coalgebras (Q2024924) (← links)
- Duality theory for enriched Priestley spaces (Q2079656) (← links)
- Alexandroff topologies and monoid actions (Q2178808) (← links)
- Compactly generated spaces and quasi-spaces in topology (Q2198606) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- The enriched Vietoris monad on representable spaces (Q2249254) (← links)
- On generalized equilogical spaces (Q2310780) (← links)
- Cartesian closed exact completions in topology (Q2318408) (← links)
- A four for the price of one duality principle for distributive spaces (Q2376896) (← links)
- Quantale-valued topological spaces via closure and convergence (Q2405102) (← links)
- Categorically algebraic topology versus universal topology (Q2445540) (← links)
- Categorical approach to modelling and to coupling of models (Q2960160) (← links)
- The formal ball model for -categories (Q3081322) (← links)
- Extended-order algebras as a generalization of posets (Q3099662) (← links)
- The limit–colimit coincidence theorem for -categories (Q3559972) (← links)
- Convergence and quantale-enriched categories (Q4553296) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5872365) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
