CategoryTheory

Category Theory in Agda

Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
Data		Data
Agatha.agda		Agatha.agda
Agatha2.agda		Agatha2.agda
ArithmeticDefinability.agda		ArithmeticDefinability.agda
BaseLogic.agda		BaseLogic.agda
BaseN.agda		BaseN.agda
BoolNat.agda		BoolNat.agda
BooleanAlgebra.agda		BooleanAlgebra.agda
Category.agda		Category.agda
Category2.agda		Category2.agda
Coinduction.agda		Coinduction.agda
Computation.agda		Computation.agda
Decidability.agda		Decidability.agda
FAlgebras.agda		FAlgebras.agda
FixedPoint.agda		FixedPoint.agda
FormalLanguage.agda		FormalLanguage.agda
Functions.agda		Functions.agda
Functor.agda		Functor.agda
Guido.agda		Guido.agda
GuidoLiterate.agda		GuidoLiterate.agda
InitialObject.agda		InitialObject.agda
Inspection.agda		Inspection.agda
KleisliTutorial.agda		KleisliTutorial.agda
LICENSE		LICENSE
LambdaCalc_roughdraft.agda		LambdaCalc_roughdraft.agda
Lang.agda		Lang.agda
Level.agda		Level.agda
Linear.agda		Linear.agda
ListVector.agda		ListVector.agda
LogicGates.agda		LogicGates.agda
Morphisms.agda		Morphisms.agda
NEVector.agda		NEVector.agda
NaturalTransformations.agda		NaturalTransformations.agda
OperationProperties.agda		OperationProperties.agda
PolynomialFunctor.agda		PolynomialFunctor.agda
ProductCategory.agda		ProductCategory.agda
RDF.agda		RDF.agda
RDF11MT.agda		RDF11MT.agda
README.md		README.md
Regex.agda		Regex.agda
Relations.agda		Relations.agda
SetCategory.agda		SetCategory.agda
SetTheory.agda		SetTheory.agda
Trees.agda		Trees.agda
TuringMachine.agda		TuringMachine.agda

sto0pkid/CategoryTheory