Funder
Grant Agency of the Czech Republic
Reference16 articles.
1. Accessible set functors are universal;Barto;Comment. Math. Univ. Carol.,2019
2. Equilogical spaces;Bauer;Theor. Comput. Sci.,2004
3. The free exact category on a left exact one;Carboni;J. Aust. Math. Soc. (Ser. A),1982
4. Locally cartesian closed exact completions;Carboni;J. Pure Appl. Algebra,2000
5. Regular and exact completions;Carboni;J. Pure Appl. Algebra,1998
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CHAD for expressive total languages;Mathematical Structures in Computer Science;2023-04
2. Linear Dependent Type Theory for Quantum Programming Languages;Logical Methods in Computer Science;2022-09-07
3. Pre-rigid monoidal categories;Quaestiones Mathematicae;2022-09-05
4. General Facts on the Scott Adjunction;Applied Categorical Structures;2022-01-19
5. (Co)end Calculus;LOND MATH S;2021-06-30