CategoricalTowers.jl

This repository contains the transpiled Julia versions of several package of the CategoricalTowers.

Name		Name	Last commit message	Last commit date
.github		.github
FiniteCocompletions		FiniteCocompletions
FpCategories		FpCategories
FpLinearCategories		FpLinearCategories
FunctorCategories		FunctorCategories
Locales		Locales
PresheafCategories		PresheafCategories
QuotientCategories		QuotientCategories
SubcategoriesForCAP		SubcategoriesForCAP
ToolsForCategoricalTowers		ToolsForCategoricalTowers
dev		dev
README.md		README.md
makefile		makefile

Navigation Menu