The following pages link to Algebraically compact functors (Q1208195):
Displaying 39 items.
- Compact Hausdorff Heyting algebras (Q334967) (← links)
- Dagger categories of tame relations (Q382419) (← links)
- Coherence and strictification for self-similarity (Q504539) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- A note on ``Extensional PERs'' (Q615886) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Algebra objects and algebra families for finite limit theories (Q1208209) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- How accessible are categories of algebras? (Q1812029) (← links)
- Recursive data types in algebraically \(\omega\)-complete categories (Q1892884) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- Quantum logic in dagger kernel categories (Q2825365) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- On coalgebras over algebras (Q2919449) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- The Category TOF (Q3385627) (← links)
- (Q4585073) (← links)
- (Q4871250) (← links)
- On the Functor ℓ2 (Q4922076) (← links)
- Quantum Speedup and Categorical Distributivity (Q4922077) (← links)
- (Q5009709) (← links)
- (Q5020949) (← links)
- (Q5109520) (← links)
- (Q5140265) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
- Categorical approximation fixpoint theory (Q6545560) (← links)
- Join inverse rig categories for reversible functional programming, and beyond (Q6653754) (← links)
