Pages that link to "Item:Q1208223"
From MaRDI portal
The following pages link to Introduction to extensive and distributive categories (Q1208223):
Displaying 40 items.
- Higher dimensional categories: induction on extensivity (Q2134826) (← links)
- Covariant isotropy of Grothendieck toposes and extensive categories (Q2156420) (← links)
- \(\mathcal{M}\)-coextensive objects and the strict refinement property (Q2176089) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Internal neighbourhood structures (Q2297805) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Topological theories and closed objects (Q2383009) (← links)
- Universality of coproducts in categories of lax algebras (Q2432584) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- A classification of geometric morphisms and localizations for presheaf categories and algebraic categories (Q2509246) (← links)
- Coalgebraic Monads (Q2842553) (← links)
- Adjunction Models For Call-By-Push-Value With Stacks (Q2842825) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- On Iteratable Endofunctors (Q2842827) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- Setoids and universes (Q3583021) (← links)
- (Q3597355) (← links)
- (Q4230985) (← links)
- (Q4390739) (← links)
- Green 2-functors (Q5039722) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Internal Neighbourhood Structures II: Closure and closed morphisms (Q5889210) (← links)
- Internalization and enrichment via spans and matrices in a tricategory (Q6063398) (← links)
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES (Q6103450) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms (Q6146488) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Dependent Optics (Q6150150) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
- Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
